@article{DBLP:journals/tse/EdwardsSWH04,
author = {Stephen H. Edwards and
Murali Sitaraman and
Bruce W. Weide and
Joseph E. Hollingsworth},
title = {Contract-Checking Wrappers for C++ Classes},
journal = {IEEE Trans. Software Eng.},
volume = {30},
number = {11},
year = {2004},
pages = {794-810},
ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2004.80},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
