Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Tony Hoare

Adresse Microsoft Research Ltd.
21 Station Road
Cambridge CB1 2FB
Großbritannien

Projekte

Als Beteiligte Person
- abgeschlossene Projekte
  - Algebraische Kalküle für Separationslogik (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz