Michaël Armand

	2011
2		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: 135-150
	2010
1		Michaël Armand, Benjamin Grégoire, Arnaud Spiwack, Laurent Théry: Extending Coq with Imperative Features and Its Application to SAT Verification. ITP 2010: 83-98

Coauthor Index

1	Germain Faure	[2]
2	Benjamin Grégoire	[1] [2]
3	Chantal Keller	[2]
4	Arnaud Spiwack	[1]
5	Laurent Théry	[1] [2]
6	Benjamin Werner	[2]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page