Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Programming language semantics / Denotational semantics / Semantics / Action semantics / Operational semantics / Programming language


Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova
Add to Reading List

Document Date: 2016-05-29 06:58:27

Open Document

File Size: 891,37 KB

Share Result on Facebook