Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools.

Jos Meseguer, Grigore Rosu

Browse the full CADE paper archive.