A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

Period8 Oct 2019
Event titleInternational Symposium on
Unifying Theories of Programming - Dedicated to Tony Hoare on the Occasion of His 85th Birthday: UTP 2019
Event typeConference
Conference number7
LocationPorto, Portugal
Degree of RecognitionInternational