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

相关作者

窦亮
作品数：30被引量：102H指数：6
供职机构：华东师范大学
研究主题：COQ 定理证明器 UML 精化 语义
郁文生
作品数：77被引量：119H指数：7
供职机构：北京邮电大学电子工程学院
研究主题：机器证明 严格正实 N 数据仓库 鲁棒性分析
杨宗源
作品数：37被引量：168H指数：7
供职机构：华东师范大学信息科学技术学院计算机科学技术系
研究主题：软件工程 面向对象 COQ 软件测试 社交网络
王生原
作品数：72被引量：195H指数：7
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：编译器 形式化验证 字节码 PETRI网 COQ
柏学进
作品数：127被引量：290H指数：9
供职机构：青岛农业大学
研究主题：奶牛 胚胎移植 超数排卵 骨髓间充质干细胞 超排效果