Formal Verification of a C Compiler Front-End.

Sandrine Blazy Zaynah Dargaye Xavier Leroy Formal Verification of a C Compiler Front-End. 460-475 2006 conf/fm/2006 FM http://dx.doi.org/10.1007/11813040_31 db/conf/fm/fm2006.html#BlazyDL06