Reinhold Plösch. Tool Support for Design by Contract. In TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA. pages 282-294, IEEE Computer Society, 1998. [doi]
@inproceedings{Plosch98,
title = {Tool Support for Design by Contract},
author = {Reinhold Plösch},
year = {1998},
doi = {10.1109/TOOLS.1998.711020},
url = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.711020},
tags = {contracts, design},
researchr = {https://researchr.org/publication/Plosch98},
cites = {0},
citedby = {0},
pages = {282-294},
booktitle = {TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA},
publisher = {IEEE Computer Society},
isbn = {0-8186-8482-8},
}