A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Aichernig, B. (Speaker)

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

Period8 Oct 2019
Held atInternational Symposium on<br/>Unifying Theories of Programming - Dedicated to Tony Hoare on the Occasion of His 85th Birthday
Event typeConference
Conference number7
LocationPorto, Portugal
Degree of RecognitionInternational