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

Fingerprint

Dive into the research topics of 'Executing Formal Semantics with the double-struck K Tool'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science