%0 Conference Paper %1 conf/apsec/GuptaR06 %A Gupta, Atul %A Raj, Amit %B APSEC %D 2006 %I IEEE Computer Society %K dblp %P 233-242 %T Strengthening Method Contracts for Objects. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2006.html#GuptaR06 %@ 0-7695-2685-3

@inproceedings{conf/apsec/GuptaR06, added-at = {2018-11-02T00:00:00.000+0100}, author = {Gupta, Atul and Raj, Amit}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26a36da4642527e98a05048930ab385e1/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2006}, ee = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2006.54}, interhash = {a51442014bf06f02e8c0066c6e23d1a9}, intrahash = {6a36da4642527e98a05048930ab385e1}, isbn = {0-7695-2685-3}, keywords = {dblp}, pages = {233-242}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T21:12:57.000+0200}, title = {Strengthening Method Contracts for Objects.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2006.html#GuptaR06}, year = 2006 }