A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationUnifying Theories of Programming
Subtitle of host publication7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
EditorsPedro Ribeiro, Augusto Sampaio
PublisherSpringer
Pages22-38
Volume11885
DOIs
Publication statusPublished - 2019

Publication series

Name Lecture Notes in Computer Science
Volume11885

Cite this