Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer. A Sound and Complete Program Logic for Eiffel. In Manuel Oriol, Bertrand Meyer, editors, Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings. Volume 33 of Lecture Notes in Business Information Processing, pages 195-214, Springer, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.