首页
期刊简介
期刊介绍
影响因子
获奖情况
收录情况
编辑部简介
编委会
征稿征订
征稿简则
征订说明
联系我们
English
基于控制流的Mobile Safe Ambients演算的静态分析策略
张红, 刘磊
Static Analysis Scheme for Mobile Safe Ambients Based on Control Flow
ZHANG Hong, LIU Lei
吉林大学学报(理学版) . 2008, (
04
): 704 -710 .