A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

Traian Florin Şerbǎnuţǎ, Grigore Roşu, José Meseguer

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

Fingerprint

Dive into the research topics of 'A Rewriting Logic Approach to Operational Semantics (Extended Abstract)'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science