办会单位
中国计算机学会形式化方法专业委员会
专业分类
1712.软件工程
数据元
级别：国家的
会议性质：学术型
语言：中文
办会频率：每年一次
是否征稿：是
收录情况
评分评级
综合评分
2024年度：57.07分
一级专业分类分级
2024年度：17 信息与计算机科学 B+
二级专业分类分级
2024年度：1712 软件工程 B+
全部会议
全国形式化方法年会
2016年11月12日 ~ 13日
中国·北京市
