Validated compilation through logic (2011)

by G Li
Venue:FM 2011: Formal Methods - 17th International Symposium on Formal Methods, volume 6664 of LNCS