%0 Conference Paper %1 conf/tacas/SaanESBHTVS24a %A Saan, Simmo %A Erhard, Julian %A Schwarz, Michael %A Bozhilov, Stanimir %A Holter, Karoliine %A Tilscher, Sarah %A Vojdani, Vesal %A Seidl, Helmut %B TACAS (3) %D 2024 %E Finkbeiner, Bernd %E Kovács, Laura %I Springer %K dblp %P 381-386 %T Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2024-3.html#SaanESBHTVS24a %V 14572 %@ 978-3-031-57256-2

@inproceedings{conf/tacas/SaanESBHTVS24a, added-at = {2024-04-14T00:00:00.000+0200}, author = {Saan, Simmo and Erhard, Julian and Schwarz, Michael and Bozhilov, Stanimir and Holter, Karoliine and Tilscher, Sarah and Vojdani, Vesal and Seidl, Helmut}, biburl = {https://www.bibsonomy.org/bibtex/2ef3706b4e9a7272581b51ace1219d42b/dblp}, booktitle = {TACAS (3)}, crossref = {conf/tacas/2024-3}, editor = {Finkbeiner, Bernd and Kovács, Laura}, ee = {https://doi.org/10.1007/978-3-031-57256-2_25}, interhash = {0fe79f2aa83df3142162d8f17e9ffbf6}, intrahash = {ef3706b4e9a7272581b51ace1219d42b}, isbn = {978-3-031-57256-2}, keywords = {dblp}, pages = {381-386}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:04:37.000+0200}, title = {Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2024-3.html#SaanESBHTVS24a}, volume = 14572, year = 2024 }