Principled and Pragmatic Specification of Programming Languages

First Author: Johnstone A

Attributed to: PLanCompS: Programming Language Components and Specifications funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-32441-4_11

Publication URI: http://dx.doi.org/10.1007/978-3-030-32441-4_11

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

ISSN: 0165-0009