"A Sound and Complete Program Logic for Eiffel."

Martin Nordio et al. (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics