搜索到 篇“ COQ “的相关文章

相关作者

窦亮
作品数：34被引量：107H指数：6
供职机构：华东师范大学
研究主题：COQ 定理证明器 网络数据包 UML 精化
王生原
作品数：73被引量：199H指数：7
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：编译器 形式化验证 字节码 PETRI网 COQ
余龙江
作品数：601被引量：3,693H指数：32
供职机构：华中科技大学
研究主题：紫杉醇 红豆杉 玛咖 花生四烯酸 红豆杉细胞
郁文生
作品数：78被引量：120H指数：7
供职机构：北京邮电大学电子工程学院
研究主题：机器证明 严格正实 N 数据仓库 鲁棒性分析
杨宗源
作品数：37被引量：167H指数：7
供职机构：华东师范大学信息科学技术学院计算机科学技术系
研究主题：软件工程 面向对象 COQ 软件测试 社交网络