Mapping Modular SOS to Rewriting Logic (Q3079927)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Mapping Modular SOS to Rewriting Logic
scientific article

    Statements