2011

Conférence Internationale avec comité de lecture

• [SD11] S. Stratulat, V. Demange. "Automated Certification of Implicit Induction Proofs", Certified Programs and Proofs, December 2011, Vol. 7086, pp.37-53, Series Lecture Notes in Computer Science, Kenting, Taiwan, (DOI: 10.1007/978-3-642-25379-9_5)