引用本文:	董云卫,刘关俊,毛晓光.形式化方法与应用专题前言.软件学报,2023,34(7):2979-2980

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

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 1389次下载 5025次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
形式化方法与应用专题前言
董云卫¹, 刘关俊², 毛晓光³
1.西北工业大学计算机学院, 陕西西安 710129;2.同济大学计算机科学系, 上海 201804;3.国防科技大学计算机学院, 湖南长沙 410073

摘要:

关键词:

DOI：10.13328/j.cnki.jos.006864

分类号:

基金项目:

Preface

DONG Yun-Wei,LIU Guan-Jun,MAO Xiao-Guang

Abstract:

Key words:

引用本文:

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

←前一篇|后一篇→

过刊浏览高级检索

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

摘要:

关键词:

DOI：

分类号:

基金项目:

Abstract:

Key words: