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

相关作者

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