Proof-transforming compilation of eiffel programs (2008)

by M Nordio, P Müller, B Meyer
Venue:TOOLS-EUROPE, Lecture Notes in Business and Information Processing