%0 Conference Paper %1 conf/apsec/TantivongsathapornS06 %A Tantivongsathaporn, Judy %A Stearns, Daniel %B APSEC %D 2006 %I IEEE Computer Society %K dblp %P 335-341 %T An Experience With Design by Contract. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2006.html#TantivongsathapornS06 %@ 0-7695-2685-3

@inproceedings{conf/apsec/TantivongsathapornS06, added-at = {2023-03-23T00:00:00.000+0100}, author = {Tantivongsathaporn, Judy and Stearns, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2943347bdc56b11a41c987cd6a8642650/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/APSEC.2006.22}, interhash = {0dbf0e36806900c440a0594f8dd5999d}, intrahash = {943347bdc56b11a41c987cd6a8642650}, isbn = {0-7695-2685-3}, keywords = {dblp}, pages = {335-341}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:46:05.000+0200}, title = {An Experience With Design by Contract.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2006.html#TantivongsathapornS06}, year = 2006 }