Executable component-based semantics

L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

69 Downloads (Pure)

1 Doctoral Thesis

1 results

Filter

2019

Executable Formal Specification of Programming Languages with Reusable Components
van Binsbergen, L. T., 2019, (Unpublished) 274 p.
Research output: Thesis › Doctoral Thesis

File

174 Downloads (Pure)