The Rewriting Logic Semantics Project

José Meseguer, Grigore Roşu

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

Fingerprint

Dive into the research topics of 'The Rewriting Logic Semantics Project'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science