Bibtex

Isabel Nunes, Design by Contract Using Meta-Assertions

@article{JOT:issue_2002_08/article3, author = {<a href="/contents.html?query=Nunes">Isabel Nunes</a>}, title = {Design by Contract Using Meta-Assertions}, journal = {Journal of Object Technology}, volume = {1}, number = {3}, issn = {1660-1769}, year = {2002}, month = aug, editor = {<a href="/contents.html?query=Mingins">Christine Mingins</a>}, note = {Proceedings of the TOOLS USA 2002 Conference, July 28 - 31, 2002 --- Santa Barbara, CA}, pages = {37-56}, doi = {10.5381/jot.2002.1.3.a3}, url = {http://www.jot.fm/contents/issue_2002_08/article3.html} }

Back