Dirk Beyer 0001, Jan Haltermann, Thomas Lemberger 0002, Heike Wehrheim. Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. In Gregor Engels, Regina Hebig, Matthias Tichy, editors, Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn. Volume P-332 of LNI, pages 37-38, Gesellschaft für Informatik e.V., 2023. [doi]
@inproceedings{0001H0W23,
title = {Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components},
author = {Dirk Beyer 0001 and Jan Haltermann and Thomas Lemberger 0002 and Heike Wehrheim},
year = {2023},
url = {https://dl.gi.de/20.500.12116/40128},
researchr = {https://researchr.org/publication/0001H0W23},
cites = {0},
citedby = {0},
pages = {37-38},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn},
editor = {Gregor Engels and Regina Hebig and Matthias Tichy},
volume = {P-332},
series = {LNI},
publisher = {Gesellschaft für Informatik e.V.},
isbn = {978-3-88579-726-5},
}