Treffer: Applying software model checking: experiences and advancements
Titel:
Applying software model checking: experiences and advancements / Philipp Berger ; Joost-Pieter Katoen, Dirk Beyer
Beteiligt:
Veröffentlicht:
Aachen : Universitätsbibliothek der RWTH Aachen, 2024
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Aachen. RWTH Aachen University, 2024
Hochschulschrift:
Dissertation, RWTH Aachen University, 2023
Schlagworte:
DOI:
10.18154/RWTH-2024-10081