Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour. Proving programs robust. In Tibor Gyimóthy, Andreas Zeller, editors, SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011. pages 102-112, ACM, 2011. [doi]
@inproceedings{ChaudhuriGLN11, title = {Proving programs robust}, author = {Swarat Chaudhuri and Sumit Gulwani and Roberto Lublinerman and Sara NavidPour}, year = {2011}, doi = {10.1145/2025113.2025131}, url = {http://doi.acm.org/10.1145/2025113.2025131}, researchr = {https://researchr.org/publication/ChaudhuriGLN11}, cites = {0}, citedby = {0}, pages = {102-112}, booktitle = {SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011}, editor = {Tibor Gyimóthy and Andreas Zeller}, publisher = {ACM}, isbn = {978-1-4503-0443-6}, }