%0 Conference Paper %1 conf/tools/Kramer98 %A Kramer, R. %B TOOLS (26) %D 1998 %I IEEE Computer Society %K dblp %P 295-307 %T iContract - The Java(tm) Design by Contract(tm) Tool. %U http://dblp.uni-trier.de/db/conf/tools/tools26-1998.html#Kramer98 %@ 0-8186-8482-8

@inproceedings{conf/tools/Kramer98, added-at = {2023-03-23T00:00:00.000+0100}, author = {Kramer, R.}, biburl = {https://www.bibsonomy.org/bibtex/2f37e73082a73c9291b3baa06e50218c3/dblp}, booktitle = {TOOLS (26)}, crossref = {conf/tools/26-1998}, ee = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.711021}, interhash = {3bdf8871c6c450e333fc3cc517e04603}, intrahash = {f37e73082a73c9291b3baa06e50218c3}, isbn = {0-8186-8482-8}, keywords = {dblp}, pages = {295-307}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:39:00.000+0200}, title = {iContract - The Java(tm) Design by Contract(tm) Tool.}, url = {http://dblp.uni-trier.de/db/conf/tools/tools26-1998.html#Kramer98}, year = 1998 }