%0 Conference Paper %1 conf/vstte/GurfinkelN21 %A Gurfinkel, Arie %A Navas, Jorge A. %B VSTTE %D 2021 %E Bloem, Roderick %E Dimitrova, Rayna %E Fan, Chuchu %E Sharygina, Natasha %I Springer %K dblp %P 122-144 %T Abstract Interpretation of LLVM with a Region-Based Memory Model. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2021.html#GurfinkelN21 %V 13124 %@ 978-3-030-95561-8

@inproceedings{conf/vstte/GurfinkelN21, added-at = {2022-02-25T00:00:00.000+0100}, author = {Gurfinkel, Arie and Navas, Jorge A.}, biburl = {https://www.bibsonomy.org/bibtex/2ab098145d31b55c139dd630daa113586/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2021}, editor = {Bloem, Roderick and Dimitrova, Rayna and Fan, Chuchu and Sharygina, Natasha}, ee = {https://doi.org/10.1007/978-3-030-95561-8_8}, interhash = {0ad1beb77de3f45c25253084a8c037e1}, intrahash = {ab098145d31b55c139dd630daa113586}, isbn = {978-3-030-95561-8}, keywords = {dblp}, pages = {122-144}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:58:28.000+0200}, title = {Abstract Interpretation of LLVM with a Region-Based Memory Model.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2021.html#GurfinkelN21}, volume = 13124, year = 2021 }