Thesis by Dangl, Matthias
![[up]](/style/images/multi_up.png)
Up a levelNumber of items: 1.
Dangl, Matthias (2022): Witness-based validation of verification results with applications to software-model checking. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics
Dangl, Matthias (2022): Witness-based validation of verification results with applications to software-model checking. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics