Jean-Christophe Filliâtre 人物
相关论文查看全部 (3)
The Coq proof assistant : reference manual, version 6.1
1997OpenGrey (Institut de l'Information Scientifique et Technique)引用 989
Why3 — Where Programs Meet Provers
2013Lecture notes in computer science引用 498
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification
2007Lecture notes in computer science引用 323
相关公司查看全部 (5)
Centre Inria de SaclayRESEARCH_INSTITUTE
Laboratoire de Recherche en InformatiqueRESEARCH_INSTITUTE
Université Paris-SudUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据