A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Bernhard Aichernig

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • 1 Invited talk at conference or symposium

Search results