Validated compilation through logic (2011)

by G Li
Venue:In Formal Methods (FM