A Sound and Complete Program Logic for Eiffel.

Martin Nordio Cristiano Calcagno Peter Müller Bertrand Meyer A Sound and Complete Program Logic for Eiffel. 195-214 2009 TOOLS (47) http://dx.doi.org/10.1007/978-3-642-02571-6_12 conf/tools/47-2009 db/conf/tools/tools47-2009.html#NordioCMM09