Project Details
Person
Dr. Vladimir Klebanov
Address
Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Am Fasanengarten 5
76131 Karlsruhe
-
As Ehemaliger Antragsteller
-
Completed projects
-
Program-level Specification and Deductive Verification of Security Properties (Priority Programmes) to 10/2016
-
-
Completed projects
