Detailseite
Person
Dr. Vladimir Klebanov
Adresse
Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Am Fasanengarten 5
76131 Karlsruhe
-
Als Ehemaliger Antragsteller
-
abgeschlossene Projekte
-
Sprachbasierte Spezifikation und deduktive Verifikation von Sicherheitseigenschaften (Schwerpunktprogramme) bis 10/2016
-
-
abgeschlossene Projekte
