Brunner, Julian M.
Formal Verification of Algorithms for Automata and Model Checking
2022
Dissertation
133 p.