Project Details
Person
Dr. Christian Urban
Address
King's College London
Faculty of Natural and Mathematical Sciences
Department of Informatics
30 Aldwych
London WC2B 4BG
Großbritannien
-
As Applicant
-
Completed projects
-
Die Lösung der POPLMARK-Challenge: Neue Techniken zur maschinellen Verifikation der Korrektheit von Programmiersprachen (Independent Junior Research Groups) -
Providing documentation and testcases for the theorem prover Isabelle (Research Grants)
-
-
Completed projects
