关于TCFM
CCF形式化方法专业委员会 > 关于TCFM > 秘书处
  秘书处
陈振邦
国防科学技术大学
zbchen[at]nudt.edu.cn
沈博
西北工业大学
shen[at]nwpu.edu.cn
张羽丰
湖南大学
yufengzhang[at]hnu.edu.cn
葛宁
北京航空航天大学
gening[at]buaa.edu.cn
张文博
上海海洋大学
wbzhang[at]shou.edu.cn
于斌
西安电子科技大学
byu[at]xidian.edu.cn