%0 Conference Paper %1 conf/cav/GurfinkelKKN15 %A Gurfinkel, Arie %A Kahsai, Temesghen %A Komuravelli, Anvesh %A Navas, Jorge A. %B CAV (1) %D 2015 %E Kroening, Daniel %E Pasareanu, Corina S. %I Springer %K %P 343-361 %T The SeaHorn Verification Framework. %U http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#GurfinkelKKN15 %V 9206 %@ 978-3-319-21689-8

@inproceedings{conf/cav/GurfinkelKKN15, added-at = {2023-12-12T18:45:46.000+0100}, author = {Gurfinkel, Arie and Kahsai, Temesghen and Komuravelli, Anvesh and Navas, Jorge A.}, biburl = {https://www.bibsonomy.org/bibtex/2b2e5615772604f9178c49c8528c0a841/admin}, booktitle = {CAV (1)}, crossref = {conf/cav/2015-1}, editor = {Kroening, Daniel and Pasareanu, Corina S.}, ee = {https://doi.org/10.1007/978-3-319-21690-4_20}, interhash = {16e443487c8c404c3efe4d6b9114070a}, intrahash = {b2e5615772604f9178c49c8528c0a841}, isbn = {978-3-319-21689-8}, keywords = {}, pages = {343-361}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:45:46.000+0100}, title = {The SeaHorn Verification Framework.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#GurfinkelKKN15}, volume = 9206, year = 2015 }