%0 Journal Article %1 journals/jot/BarnettDFLS04 %A Barnett, Michael %A DeLine, Robert %A Fähndrich, Manuel %A Leino, K. Rustan M. %A Schulte, Wolfram %D 2004 %J J. Object Technol. %K %N 6 %P 27-56 %T Verification of Object-Oriented Programs with Invariants. %U http://dblp.uni-trier.de/db/journals/jot/jot3.html#BarnettDFLS04 %V 3

@article{journals/jot/BarnettDFLS04, added-at = {2023-12-12T17:47:09.000+0100}, author = {Barnett, Michael and DeLine, Robert and Fähndrich, Manuel and Leino, K. Rustan M. and Schulte, Wolfram}, biburl = {https://www.bibsonomy.org/bibtex/2ae12c3f0e1f6f7f438dd6c2f1eba7952/admin}, ee = {https://doi.org/10.5381/jot.2004.3.6.a2}, interhash = {08b6f1e2352569948d463ee3e2ec9867}, intrahash = {ae12c3f0e1f6f7f438dd6c2f1eba7952}, journal = {J. Object Technol.}, keywords = {}, number = 6, pages = {27-56}, timestamp = {2023-12-12T17:47:09.000+0100}, title = {Verification of Object-Oriented Programs with Invariants.}, url = {http://dblp.uni-trier.de/db/journals/jot/jot3.html#BarnettDFLS04}, volume = 3, year = 2004 }