Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Ian J. Hayes
Latest
Integrated Operational Semantics: Small-Step, Big-Step and Multi-step
Cite
×