@article{王海峰;陈建明;张仲义_52,
author = {[王海峰;陈建明;张仲义]},
title = {安全苛求系统的形式化开发方法},
publisher = {星空电竞app2026最新版学报},
year = {2002},
journal = {星空电竞app2026最新版学报},
volume = {26},
number = {6},
eid = {52},
pages = {52-55},
keywords = {安全苛求;形式化方法;安全性;开发方法},
url = https://jdxb.bjtu.edu.cn/CN/abstract/article_302.shtml
}