2006

Conférence Internationale avec comité de lecture

• [BLD06] S. Blazy, X. Leroy, Z. Dargaye. "Formal verification of a C compiler front-end", FM'06: 14th Symposium on Formal Methods, Hamilton, Canada, January 2006, Vol. 4085, pp.460-475, Series LNCS,