%0 Conference Paper %1 Suter:2011:SMR:2041552.2041575 %A Suter, Philippe %A Köksal, Ali Sinan %A Kuncak, Viktor %B Proceedings of the 18th international conference on Static analysis %C Berlin, Heidelberg %D 2011 %I Springer-Verlag %K correctness scala verification %P 298--315 %T Satisfiability modulo recursive programs %U http://dl.acm.org/citation.cfm?id=2041552.2041575 %@ 978-3-642-23701-0

@inproceedings{Suter:2011:SMR:2041552.2041575, acmid = {2041575}, added-at = {2013-01-03T03:31:07.000+0100}, address = {Berlin, Heidelberg}, author = {Suter, Philippe and K\"{o}ksal, Ali Sinan and Kuncak, Viktor}, biburl = {https://www.bibsonomy.org/bibtex/2a43754ef46b2bcde5458701461ceab5a/kaptoxic}, booktitle = {Proceedings of the 18th international conference on Static analysis}, interhash = {024fc5a4e1c58bff25e60dbaea61a6d6}, intrahash = {a43754ef46b2bcde5458701461ceab5a}, isbn = {978-3-642-23701-0}, keywords = {correctness scala verification}, location = {Venice, Italy}, numpages = {18}, pages = {298--315}, publisher = {Springer-Verlag}, series = {SAS'11}, timestamp = {2013-01-03T03:31:24.000+0100}, title = {Satisfiability modulo recursive programs}, url = {http://dl.acm.org/citation.cfm?id=2041552.2041575}, year = 2011 }