Fingerprint
Dive into the research topics of 'Executing Formal Semantics with the double-struck K Tool'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Executing Formal Semantics with the double-struck K Tool
David Lazar, Andrei Arusoaie, Traian Florin Şerbǎnuţǎ, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Roşu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution