@incollection{LewerentzLindnerRupingSekerinski95OODesignVerificationReport,
	title = {On {Object}-{Oriented} {Design} and {Verification}},
	volume = {1},
	booktitle = {Architectures and {Processes} for {Systematic} {Software} {Construction}},
	publisher = {FZI Publication},
	author = {Lewerentz, C. and Lindner, T. and Rüping, A. and Sekerinski, E.},
	editor = {Casais, E.},
	year = {1995},
	pages = {27--51},
}

{"_id":"Fr6vY2ZBbiTRvDc63","bibbaseid":"lewerentz-lindner-rping-sekerinski-onobjectorienteddesignandverification-1995","downloads":0,"creationDate":"2019-02-02T15:48:53.611Z","title":"On Object-Oriented Design and Verification","author_short":["Lewerentz, C.","Lindner, T.","Rüping, A.","Sekerinski, E."],"year":1995,"bibtype":"incollection","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"incollection","type":"incollection","title":"On Object-Oriented Design and Verification","volume":"1","booktitle":"Architectures and Processes for Systematic Software Construction","publisher":"FZI Publication","author":[{"propositions":[],"lastnames":["Lewerentz"],"firstnames":["C."],"suffixes":[]},{"propositions":[],"lastnames":["Lindner"],"firstnames":["T."],"suffixes":[]},{"propositions":[],"lastnames":["Rüping"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["E."],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Casais"],"firstnames":["E."],"suffixes":[]}],"year":"1995","pages":"27–51","bibtex":"@incollection{LewerentzLindnerRupingSekerinski95OODesignVerificationReport,\n\ttitle = {On {Object}-{Oriented} {Design} and {Verification}},\n\tvolume = {1},\n\tbooktitle = {Architectures and {Processes} for {Systematic} {Software} {Construction}},\n\tpublisher = {FZI Publication},\n\tauthor = {Lewerentz, C. and Lindner, T. and Rüping, A. and Sekerinski, E.},\n\teditor = {Casais, E.},\n\tyear = {1995},\n\tpages = {27--51},\n}\n\n","author_short":["Lewerentz, C.","Lindner, T.","Rüping, A.","Sekerinski, E."],"editor_short":["Casais, E."],"key":"LewerentzLindnerRupingSekerinski95OODesignVerificationReport","id":"LewerentzLindnerRupingSekerinski95OODesignVerificationReport","bibbaseid":"lewerentz-lindner-rping-sekerinski-onobjectorienteddesignandverification-1995","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["object","oriented","design","verification","lewerentz","lindner","rüping","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","pKojZwgcmAbzT5ufq","So4gmSWFmbQRNEuFs","HEdahWqKBpmSGmDwq","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}