引用本文:	傅育熙,李国强,田聪.形式化方法的理论基础专题前言.软件学报,2018,29(6):1515-1516

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

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 3977次下载 7899次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
形式化方法的理论基础专题前言
傅育熙¹, 李国强¹, 田聪²
1.上海交通大学软件学院, 上海 200240;2.西安电子科技大学计算机学院, 陕西西安 710071

摘要:

关键词:

DOI：10.13328/j.cnki.jos.005473

分类号:

基金项目:

Preface on Theoretical Foundation of Formal Methods

FU Yu-Xi,LI Guo-Qiang,TAN Cun

Abstract:

Key words:

引用本文:

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

←前一篇|后一篇→

过刊浏览高级检索

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

摘要:

关键词:

DOI：

分类号:

基金项目:

Abstract:

Key words: