TY  - 星空电竞app2026最新版学报
A1  - 王海峰;陈建明;张仲义
T1  - 安全苛求系统的形式化开发方法
Y1  - 2002-12-15 11:07:18.453
JF  - 星空电竞app2026最新版学报
JO  - 星空电竞app2026最新版学报
SP  - 52
EP  - 55
VL  - 26
IS  - 6
UR  - {https://jdxb.bjtu.edu.cn/CN/Y2002/V26/I6/52}
N1  - 
ER  -