| Zeitraum | 8 Okt. 2019 |
|---|---|
| Ereignistitel | International Symposium on Unifying Theories of Programming - Dedicated to Tony Hoare on the Occasion of His 85th Birthday: UTP 2019 |
| Veranstaltungstyp | Konferenz |
| Konferenznummer | 7 |
| Ort | Porto, PortugalAuf Karte anzeigen |
| Bekanntheitsgrad | International |
Verbundene Inhalte
-
Projekte
-
Verlaesslichkeit im Internet der Dinge
Projekt: Forschungsprojekt
-
Veröffentlichungen
-
A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung