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]
@inproceedings{NordioCMM09,
title = {A Sound and Complete Program Logic for Eiffel},
author = {Martin Nordio and Cristiano Calcagno and Peter Müller and Bertrand Meyer},
year = {2009},
doi = {10.1007/978-3-642-02571-6_12},
url = {http://dx.doi.org/10.1007/978-3-642-02571-6_12},
tags = {completeness, logic programming, logic, Eiffel},
researchr = {https://researchr.org/publication/NordioCMM09},
cites = {0},
citedby = {0},
pages = {195-214},
booktitle = {Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings},
editor = {Manuel Oriol and Bertrand Meyer},
volume = {33},
series = {Lecture Notes in Business Information Processing},
publisher = {Springer},
isbn = {978-3-642-02570-9},
}