Dangl, M. (2022). Witness-based validation of verification results with applications to software-model checking. https://doi.org/10.5282/edoc.31508
Chicago-Zitierstil (17. Ausg.)Dangl, Matthias. Witness-based Validation of Verification Results with Applications to Software-model Checking. München, 2022. https://doi.org/10.5282/edoc.31508.
MLA-Zitierstil (9. Ausg.)Dangl, Matthias. Witness-based Validation of Verification Results with Applications to Software-model Checking. 2022. https://doi.org/10.5282/edoc.31508.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.