Michaël Armand

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Michaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Théry, Benjamin Werner
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses. CPP (2011)
Michaël Armand, Benjamin Grégoire, Arnaud Spiwack, Laurent Théry
Extending Coq with Imperative Features and Its Application to SAT Verification. ITP (2010)