Logo Logo

Thesis/Theses examined by Leue, Stefan

Number 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

This list was generated on Mon Apr 22 21:53:54 2024 CEST.