34404 articles – 26932 Notices  [english version]
.:. Consultation > Par auteur > Armand .:.
2 documents classés par :

fulltext access 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]
fulltext access 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]