微信服务号
微信订阅号
Get Citation
詹乃军,王戟,李宣东.软件形式化方法与应用专题前言.软件学报,2016,27(3):495-496
Copy
Article Metrics
- Abstract:
- PDF:
- HTML:
- Cited by:
History
- Received:December 21,2015
- Online: January 06,2016
You are the first2036725Visitors
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.
