形式化软件

作品数：8被引量：12H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：柳青李彤孔兵王黎霞罗海梅更多>>
相关机构：云南大学中国科学院大学江西师范大学中国科学院软件研究所更多>>
相关期刊：《计算机工程与应用》《集成电路应用》《计算机研究与发展》《软件学报》更多>>
相关基金：云南省自然科学基金江西省自然科学基金国家自然科学基金更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
柳青
云南大学信息学院计...
李彤
云南大学信息学院计...
孔兵
云南大学信息学院计...
王黎霞
云南大学经济学院
罗海梅
江西师范大学物理与...
王昌晶
江西师范大学计算机...
相关机构更多
相关主题更多