English English | 中文 中文

软件验证实验室

logo

陈哲参与编写《CCF 2017-2018中国计算机科学技术发展报告》


通过与国内外同行的通力合作,陈哲参与编写的《CCF 2017-2018中国计算机科学技术发展报告》之《形式化方法的研究进展与趋势》已由机械工业出版社正式出版。欢迎各位下载阅读。


下载链接:

卜磊, 陈立前, 陈哲, 陈振邦, 冯新宇等. 形式化方法的研究进展与趋势. CCF 2017-2018 中国计算机科学技术发展报告, 1-68, 2018.

CCF 2017-2018中国计算机科学技术发展报告-形式化方法.pdf



Copyright SVLab (C) All Rights Reserved.