Bibtex

Bertrand Meyer, Proving Pointer Program Properties. Part 1: Context and overview

@article{JOT:issue_2003_03/column8, author = {<a href="/contents.html?query=Meyer">Bertrand Meyer</a>}, title = {Proving Pointer Program Properties. Part 1: Context and overview}, note = {(column)}, journal = {Journal of Object Technology}, volume = {2}, number = {2}, issn = {1660-1769}, year = {2003}, month = mar, pages = {87-108}, doi = {10.5381/jot.2003.2.2.c8}, url = {http://www.jot.fm/contents/issue_2003_03/column8.html} }

Back