形式化方法

作品数：863被引量：2365H指数：18
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：薛锦云肖美华张广泉黄志球胡军更多>>
相关机构：华东师范大学中国科学院软件研究所上海交通大学南京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
薛锦云
江西师范大学计算机...
肖美华
江西师范大学计算机...
张广泉
重庆师范学院数学与...
黄志球
南京航空航天大学计...
胡军
计算机软件新技术国...
张立臣
广东工业大学计算机...
相关机构更多
相关主题更多