%0 Conference Paper %1 conf/tacas/HaranCELQR15 %A Haran, Arvind %A Carter, Montgomery %A Emmi, Michael %A Lal, Akash %A Qadeer, Shaz %A Rakamaric, Zvonimir %B TACAS %D 2015 %E Baier, Christel %E Tinelli, Cesare %I Springer %K dblp %P 451-454 %T SMACK+Corral: A Modular Verifier - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#HaranCELQR15 %V 9035 %@ 978-3-662-46680-3

@inproceedings{conf/tacas/HaranCELQR15, added-at = {2019-08-20T00:00:00.000+0200}, author = {Haran, Arvind and Carter, Montgomery and Emmi, Michael and Lal, Akash and Qadeer, Shaz and Rakamaric, Zvonimir}, biburl = {https://www.bibsonomy.org/bibtex/2b2c4633d48320e14cf95dabe8b009046/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2015}, editor = {Baier, Christel and Tinelli, Cesare}, ee = {https://doi.org/10.1007/978-3-662-46681-0_42}, interhash = {b2301931e1c8e10cba8d0123c9e32f3b}, intrahash = {b2c4633d48320e14cf95dabe8b009046}, isbn = {978-3-662-46680-3}, keywords = {dblp}, pages = {451-454}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:35.000+0200}, title = {SMACK+Corral: A Modular Verifier - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#HaranCELQR15}, volume = 9035, year = 2015 }