引用本文:	安杰,顾斌,李建文.形式化方法与应用专题前言.软件学报,2026,37(9):3405-3406

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 260次下载 118次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
形式化方法与应用专题前言
安杰¹, 顾斌², 李建文³
1.天基综合信息系统全国重点实验室(中国科学院软件研究所), 北京 100190;2.北京控制工程研究所, 北京 100190;3.华东师范大学软件工程学院, 上海 200062

摘要:

关键词:

DOI：10.13328/j.cnki.jos.007610

分类号:

基金项目:

Abstract:

Key words:

引用本文:

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览次下载次
分享到：微信更多字体:加大+\|默认\|缩小-

摘要:

关键词:

DOI：

分类号:

基金项目:

Abstract:

Key words: