30 Years of Research and Development around Coq

被引：7

作者：

Huet, Gerard ^{[1
]}

Herbelin, Hugo ^{[1
]}

机构：

[1] INRIA Paris, Rocquencourt, France

来源：

ACM SIGPLAN NOTICES | 2014年 / 49卷 / 01期

关键词：

D O I：

10.1145/2535838.2537848

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：249 / 249

页数：1

相关论文

empty

未找到相关数据