@article{DBLP:journals/sigsoft/KulczyckiSWR06,
author = {Gregory Kulczycki and
Murali Sitaraman and
Bruce W. Weide and
Atanas Rountev},
title = {A specification-based approach to reasoning about pointers},
journal = {ACM SIGSOFT Software Engineering Notes},
volume = {31},
number = {2},
year = {2006},
ee = {http://doi.acm.org/10.1145/1118537.1123066},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
