微信服务号
微信订阅号
Preface on Theoretical Foundation of Formal Methods
Author:
Affiliation:
- Article | |
- Metrics | |
- Related [20] | | |
- Comments
Get Citation
傅育熙,李国强,田聪.形式化方法的理论基础专题前言.软件学报,2018,29(6):1515-1516
Copy
Article Metrics
- Abstract:3262
- PDF: 6461
- HTML: 2917
- Cited by: 0
History
- Received:December 25,2017
- Online: June 06,2018
You are the first2044946Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.
