editors, Types for Proofs and Programs, International Workshop (TYPES 2000), 2000. 2. Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy, Formal verification of a C compiler front-end (2006)

by J McKinna Luo, R Pollack
Venue:14th International Symposium on Formal Methods (FM 2006