An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Bibtex
Bertrand Meyer
, Proving Pointer Program Properties. Part 1: Context and overview
@article{JOT:issue_2003_03/column8, author = {
Bertrand Meyer
}, 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
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact