Project Details
Person
Dr. Richard Bubel
Address
Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Software Engineering
Hochschulstraße 10
64289 Darmstadt
-
As Applicant
-
Current projects
-
KeY - A Deductive Software Analysis Tool for the Research Community (Research Grants)
-
-
Completed projects
-
Fully Automatic Logic-Based Information Flow Analysis (Priority Programmes)
-
-
Current projects
