%0 Conference Paper %1 conf/sigsoft/ChaudhuriGLN11 %A Chaudhuri, Swarat %A Gulwani, Sumit %A Lublinerman, Roberto %A NavidPour, Sara %B SIGSOFT FSE %D 2011 %E Gyimóthy, Tibor %E Zeller, Andreas %I ACM %K dblp %P 102-112 %T Proving programs robust. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2011.html#ChaudhuriGLN11 %@ 978-1-4503-0443-6

@inproceedings{conf/sigsoft/ChaudhuriGLN11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chaudhuri, Swarat and Gulwani, Sumit and Lublinerman, Roberto and NavidPour, Sara}, biburl = {https://www.bibsonomy.org/bibtex/2fc45303513a35bc4c7e6e1e7be003896/dblp}, booktitle = {SIGSOFT FSE}, crossref = {conf/sigsoft/2011}, editor = {Gyimóthy, Tibor and Zeller, Andreas}, ee = {https://doi.org/10.1145/2025113.2025131}, interhash = {4a6577e6e5f36fccb0578a333e173eeb}, intrahash = {fc45303513a35bc4c7e6e1e7be003896}, isbn = {978-1-4503-0443-6}, keywords = {dblp}, pages = {102-112}, publisher = {ACM}, timestamp = {2018-11-07T15:28:11.000+0100}, title = {Proving programs robust.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2011.html#ChaudhuriGLN11}, year = 2011 }