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

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

下载链接：

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