Joseph P. Near, Daniel Jackson. Rubicon: bounded verification of web applications. In Will Tracz, Martin P. Robillard, Tevfik Bultan, editors, 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, USA - November 11 - 16, 2012. pages 60, ACM, 2012. [doi]
@inproceedings{NearJ12, title = {Rubicon: bounded verification of web applications}, author = {Joseph P. Near and Daniel Jackson}, year = {2012}, doi = {10.1145/2393596.2393667}, url = {http://doi.acm.org/10.1145/2393596.2393667}, researchr = {https://researchr.org/publication/NearJ12}, cites = {0}, citedby = {0}, pages = {60}, booktitle = {20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, USA - November 11 - 16, 2012}, editor = {Will Tracz and Martin P. Robillard and Tevfik Bultan}, publisher = {ACM}, isbn = {978-1-4503-0443-6}, }