Project Details
Person
Professor Tony Hoare
Address
Microsoft Research Ltd.
21 Station Road
Cambridge CB1 2FB
Großbritannien
-
As Participating Person
-
Completed projects
-
Algebraic Calculi for Separation Logic (Research Grants)
-
-
Completed projects
