TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 2021
Anzahl der Einträge: 1.
2021
Rollshausen, Nils (2021)
Counterexample Generation for Formal Verification of ABS.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00017856
Bachelorarbeit, Erstveröffentlichung, Verlagsversion