Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim. Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification. In Rick Rabiser, Manuel Wimmer, Iris Groher, Andreas Wortmann 0001, Bianca Wiesmayr, editors, Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024. Volume P-343 of LNI, pages 157-158, Gesellschaft für Informatik e.V., 2024. [doi]
@inproceedings{HaltermannJRW24,
title = {Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification},
author = {Jan Haltermann and Marie-Christine Jakobs and Cedric Richter and Heike Wehrheim},
year = {2024},
doi = {10.18420/sw2024_52},
url = {https://doi.org/10.18420/sw2024_52},
researchr = {https://researchr.org/publication/HaltermannJRW24},
cites = {0},
citedby = {0},
pages = {157-158},
booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024},
editor = {Rick Rabiser and Manuel Wimmer and Iris Groher and Andreas Wortmann 0001 and Bianca Wiesmayr},
volume = {P-343},
series = {LNI},
publisher = {Gesellschaft für Informatik e.V.},
isbn = {978-3-88579-737-1},
}