.:. Consultation > Par auteur > Armand .:.

2 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses Armand M., Faure G., Grégoire B., Keller C., Thery L., Werner B. Dans CPP - Certified Programs and Proofs - First International Conference - 2011 7086 (2011) 135-150 [hal-00639130 - version 1]

Extending Coq with Imperative Features and its Application to SAT Verification Armand M., Grégoire B., Spiwack A., Théry L. Dans Interactive Theorem Proving (2010) [inria-00502496 - version 2]