Formalizing Proof-Transforming Compilation of Eiffel programs (2008)

by Martin Nordio , Peter Müller , Bertrand Meyer
Citations:11 - 5 self