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]
Abstract is missing.