%0 Conference Paper %1 conf/icse/Fahndrich0LL12 %A Fähndrich, Manuel %A Barnett, Michael %A Leijen, Daan %A Logozzo, Francesco %B TOPI@ICSE %D 2012 %E Garbervetsky, Diego %E Kim, Sunghun %I IEEE Computer Society %K dblp %P 43-48 %T Integrating a set of contract checking tools into visual studio. %U http://dblp.uni-trier.de/db/conf/icse/topi2012.html#Fahndrich0LL12 %@ 978-1-4673-1820-4

@inproceedings{conf/icse/Fahndrich0LL12, added-at = {2015-08-07T00:00:00.000+0200}, author = {Fähndrich, Manuel and Barnett, Michael and Leijen, Daan and Logozzo, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/2f4287639ceaacfd7e6f2b1b1ac1af5ad/dblp}, booktitle = {TOPI@ICSE}, crossref = {conf/icse/2012topi}, editor = {Garbervetsky, Diego and Kim, Sunghun}, ee = {http://dl.acm.org/citation.cfm?id=2667070}, interhash = {edd98cd6a80620ce795479a9e1f0ba25}, intrahash = {f4287639ceaacfd7e6f2b1b1ac1af5ad}, isbn = {978-1-4673-1820-4}, keywords = {dblp}, pages = {43-48}, publisher = {IEEE Computer Society}, timestamp = {2016-05-05T12:04:28.000+0200}, title = {Integrating a set of contract checking tools into visual studio.}, url = {http://dblp.uni-trier.de/db/conf/icse/topi2012.html#Fahndrich0LL12}, year = 2012 }