@inproceedings{NordioCalcagnoMuellerMeyer09b, author = {Martin Nordio and Cristiano Calcagno and Peter M\"uller and Bertrand Meyer}, title = {A Sound and Complete Program Logic for {E}iffel}, booktitle = {TOOLS-EUROPE}, editor = {M. Oriol and B. Meyer}, year = {2009}, series = {Lecture Notes in Business and Information Processing}, volume = {33}, pages = {195-214}, urltopdf = {http://se.inf.ethz.ch/people/nordio/papers/NordioCalcagnoMuellerMeyer09b.pdf}, springer = {http://www.springerlink.com/home/main.mpx} }