Bertrand Meyer. A Framework for Proving Contract-Equipped Classes. In Egon Börger, Angelo Gargantini, Elvinia Riccobene, editors, Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Volume 2589 of Lecture Notes in Computer Science, pages 108-125, Springer, 2003. [doi]
@inproceedings{Meyer03:1, title = {A Framework for Proving Contract-Equipped Classes}, author = {Bertrand Meyer}, year = {2003}, url = {http://link.springer.de/link/service/series/0558/bibs/2589/25890108.htm}, tags = {contracts}, researchr = {https://researchr.org/publication/Meyer03%3A1}, cites = {0}, citedby = {0}, pages = {108-125}, booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings}, editor = {Egon Börger and Angelo Gargantini and Elvinia Riccobene}, volume = {2589}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-00624-9}, }