Browse by Person
![]() | Up a level |
Jump to: 2021
Number of items: 1.
2021
Rollshausen, Nils (2021)
Counterexample Generation for Formal Verification of ABS.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00017856
Bachelor Thesis, Primary publication, Publisher's Version