{"_id":"Xa7RqJowCWtnufPqq","bibbaseid":"kramer-icontractthejavadesignbycontracttool-1998","downloads":0,"creationDate":"2017-09-05T15:16:00.948Z","title":"iContract the Java design by contract tool","author_short":["Kramer, R"],"year":1998,"bibtype":"inproceedings","biburl":"https://www2.swc.rwth-aachen.de/docs/booksHL.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Kramer"],"firstnames":["R"],"suffixes":[]}],"booktitle":"Proceedings of TOOLS 26: Technology of Object-Oriented Languages and Systems, Los Alamitos, California","pages":"295--307","title":"iContract the Java design by contract tool","year":"1998","bibtex":"@inproceedings{Kramer1998,\nauthor = {Kramer, R},\nbooktitle = {Proceedings of TOOLS 26: Technology of Object-Oriented Languages and Systems, Los Alamitos, California},\npages = {295--307},\ntitle = {{iContract the Java design by contract tool}},\nyear = {1998}\n}\n","author_short":["Kramer, R"],"key":"Kramer1998","id":"Kramer1998","bibbaseid":"kramer-icontractthejavadesignbycontracttool-1998","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["icontract","java","design","contract","tool","kramer"],"keywords":[],"authorIDs":[],"dataSources":["mBXRzXXyMLZtcDe8E"]}