| Period | 8 Oct 2019 |
|---|---|
| Event title | International Symposium on Unifying Theories of Programming - Dedicated to Tony Hoare on the Occasion of His 85th Birthday: UTP 2019 |
| Event type | Conference |
| Conference number | 7 |
| Location | Porto, PortugalShow on map |
| Degree of Recognition | International |
Related content
-
Projects
-
Dependable Internet of Things
Project: Research project
-
Publications
-
A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review