Michaël Armand

According to our database, Michaël Armand authored at least 2 papers between 2010 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses.

Michaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Théry, Benjamin Werner

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010

Extending Coq with Imperative Features and Its Application to SAT Verification.

Michaël Armand, Benjamin Grégoire, Arnaud Spiwack, Laurent Théry

Proceedings of the Interactive Theorem Proving, First International Conference, 2010