Home
|
Impressum
|
Datenschutz
|
Sitemap
|
KIT
Anwendungsorientierte Formale Verifikation
Startseite
Mitarbeiter
Veröffentlichungen
Software
Projekte
Studium und Lehre
Abschlussarbeiten
Presse und Nachrichten
Using SDGs to Generate Frame Conditions
Forschungsthema:
K
eY
Typ:
BA
Datum:
2018-07-07
Betreuer:
Mihai Herda
Bearbeiter:
Aushang:
PDF