Principled and Pragmatic Specification of Programming Languages

First Author: Johnstone A


No abstract provided

Bibliographic Information

Digital Object Identifier:

Publication URI:

Type: Book Chapter

Book Title: Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (2019)

Page Reference: 165-180