Project Details
Person
Privatdozent Dr. Florian Rabe
Address
Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik
Martensstraße 3
91058 Erlangen
-
As Applicant
-
Completed projects
-
OAF: An Open Archive of Formalizations (Research Grants)
-
-
Completed projects
