Bertrand Meyer. Design by Contract: Making Object-Oriented Programs that Work. In TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 24-28 November 1997, Melbourne, Australia. pages 360, IEEE Computer Society, 1997. [doi]
@inproceedings{Meyer97:1,
title = {Design by Contract: Making Object-Oriented Programs that Work},
author = {Bertrand Meyer},
year = {1997},
doi = {10.1109/TOOLS.1997.681888},
url = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.681888},
tags = {object-oriented programming, meta programming, contracts, subject-oriented programming, Meta-Environment, design, feature-oriented programming, meta-objects},
researchr = {https://researchr.org/publication/Meyer97%3A1},
cites = {0},
citedby = {0},
pages = {360},
booktitle = {TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 24-28 November 1997, Melbourne, Australia},
publisher = {IEEE Computer Society},
isbn = {0-8186-8485-2},
}