Inhaltsverzeichnis
Einsatz von statischen Analysen im Bereich des Model-Checking von Software für eingebettete Systeme
Student
Betreuer
Einsatz von statischen Analysen im Bereich des Model-Checking von Software für eingebettete Systeme
Student
Jann Löll
Betreuer
Dr.rer.nat. Bastian Schlich