Proof-Transforming Compilation of Eiffel Programs (2008)

by M Nordio, P Müller, B Meyer
Venue:In TOOLS-EUROPE, LNBIP