《郑州大学学报(工学版)》
过刊查询页面
关键词中包括
系统验证
的文章
1
一种以面向对象及形式化技术为基础的严格的软件开发方法
吴会松 1997年01期 [99－104][
摘要
](
911
)
[
pdf
341KB]
(
686
)
DOI: