@article{DBLP:journals/jot/BarnettDFLS04,
	Author = {M. Barnett and R. DeLine and M. F{\"a}hndrich and K. R. M. Leino and W. Schulte},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://dx.doi.org/10.5381/jot.2004.3.6.a2},
	Journal = {Journal of Object Technology},
	Number = {6},
	Pages = {27-56},
	Title = {Verification of Object-Oriented Programs with Invariants},
	Volume = {3},
	Year = {2004}}

{"_id":{"_str":"5418dde2ffe14fcc4f001016"},"__v":0,"authorIDs":[],"author_short":["Barnett, M.","DeLine, R.","Fähndrich, M.","Leino, K. R. M.","Schulte, W."],"bibbaseid":"barnett-deline-fhndrich-leino-schulte-verificationofobjectorientedprogramswithinvariants-2004","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["M."],"propositions":[],"lastnames":["Barnett"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["DeLine"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Fähndrich"],"suffixes":[]},{"firstnames":["K.","R.","M."],"propositions":[],"lastnames":["Leino"],"suffixes":[]},{"firstnames":["W."],"propositions":[],"lastnames":["Schulte"],"suffixes":[]}],"bibsource":"DBLP, http://dblp.uni-trier.de","ee":"http://dx.doi.org/10.5381/jot.2004.3.6.a2","journal":"Journal of Object Technology","number":"6","pages":"27-56","title":"Verification of Object-Oriented Programs with Invariants","volume":"3","year":"2004","bibtex":"@article{DBLP:journals/jot/BarnettDFLS04,\n\tAuthor = {M. Barnett and R. DeLine and M. F{\\\"a}hndrich and K. R. M. Leino and W. Schulte},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tEe = {http://dx.doi.org/10.5381/jot.2004.3.6.a2},\n\tJournal = {Journal of Object Technology},\n\tNumber = {6},\n\tPages = {27-56},\n\tTitle = {Verification of Object-Oriented Programs with Invariants},\n\tVolume = {3},\n\tYear = {2004}}\n\n","author_short":["Barnett, M.","DeLine, R.","Fähndrich, M.","Leino, K. R. M.","Schulte, W."],"key":"DBLP:journals/jot/BarnettDFLS04","id":"DBLP:journals/jot/BarnettDFLS04","bibbaseid":"barnett-deline-fhndrich-leino-schulte-verificationofobjectorientedprogramswithinvariants-2004","role":"author","urls":{"Link":"http://dx.doi.org/10.5381/jot.2004.3.6.a2"},"downloads":0,"html":""},"bibtype":"article","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2014-09-17T01:03:30.191Z","downloads":0,"keywords":[],"search_terms":["verification","object","oriented","programs","invariants","barnett","deline","fähndrich","leino","schulte"],"title":"Verification of Object-Oriented Programs with Invariants","year":2004,"dataSources":["7Z8XEkSJX2s636QcA"]}