%0 Conference Paper %1 conf/tap/NausVSR23 %A Naus, Nico %A Verbeek, Freek %A Schoolderman, Marc %A Ravindran, Binoy %B TAP %D 2023 %E Prevosto, Virgile %E Seceleanu, Cristina %I Springer %K dblp %P 21-39 %T Low-Level Reachability Analysis Based on Formal Logic. %U http://dblp.uni-trier.de/db/conf/tap/tap2023.html#NausVSR23 %V 14066 %@ 978-3-031-38828-6

@inproceedings{conf/tap/NausVSR23, added-at = {2023-08-05T00:00:00.000+0200}, author = {Naus, Nico and Verbeek, Freek and Schoolderman, Marc and Ravindran, Binoy}, biburl = {https://www.bibsonomy.org/bibtex/27fec87414379d835117d35e4b064a908/dblp}, booktitle = {TAP}, crossref = {conf/tap/2023}, editor = {Prevosto, Virgile and Seceleanu, Cristina}, ee = {https://doi.org/10.1007/978-3-031-38828-6_2}, interhash = {1ec9196a53825285777b522d7aee840f}, intrahash = {7fec87414379d835117d35e4b064a908}, isbn = {978-3-031-38828-6}, keywords = {dblp}, pages = {21-39}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:43:18.000+0200}, title = {Low-Level Reachability Analysis Based on Formal Logic.}, url = {http://dblp.uni-trier.de/db/conf/tap/tap2023.html#NausVSR23}, volume = 14066, year = 2023 }