Bertrand Meyer
Design by Contract: Making Object-Oriented Programs that Work
TOOLS, 1997.
@inproceedings{TOOLS-PACIFIC-1997-Meyer, author = "Bertrand Meyer", booktitle = "{Proceedings of the 25th International Conference on Technology of Object-Oriented Languages and Systems}", doi = "10.1109/TOOLS.1997.681888", isbn = "0-8186-8485-2", pages = "360", publisher = "{IEEE Computer Society}", title = "{Design by Contract: Making Object-Oriented Programs that Work}", year = 1997, }