形式化方法教育

形式化方法专业委员会

Technical Committee on Formal Methods

+86 10 6266 1648
wuzl[at]ios.ac.cn
北京市海淀区中关村南四街4号
中科院软件所基础软件与系统重点实验室，100190
学术交流合作
关于TCFM
学术动态
产业合作

Copyright © 2020 中国计算机学会

京ICP备13000930号-4 备案图标京公网安备 11010802032778号