Formal verification of a C compiler front-end (2006)

by S Blazy, Z Dargaye, X Leroy
Venue:In FM 2006: Int. Symp. on Formal Methods, volume 4085 of LNCS