A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Aktivität: Vortrag oder PräsentationInvited talk bei Konferenz oder FachtagungScience to science

Zeitraum8 Okt. 2019
EreignistitelInternational Symposium on
Unifying Theories of Programming - Dedicated to Tony Hoare on the Occasion of His 85th Birthday: UTP 2019
VeranstaltungstypKonferenz
Konferenznummer7
OrtPorto, PortugalAuf Karte anzeigen
BekanntheitsgradInternational