首页
Log in
Get started
Open main menu
CCF形式化方法专委会
同机构人员:
舒新峰
舒新峰,教授,男,1975年8月出生,中共党员,西安电子科技大学计算机应用专业博士,硕士生导师,西安邮电大学“教学名师”和“四有好老师”,软件工程系主任,CCF形式化方法专委会执行委员、陕西省计算机教......
粤ICP备17091748号-1
剧本杀复盘
剧本杀复盘
红酒
ChatGPT
澳超联赛直播