University of Illinois Urbana-Champaign

A Rewriting Logic Approach to Operational Semantics

Serbanuta, Traian Florin; Rosu, Grigore; Meseguer, José

Content Files
A Rewriting Logic Approach to Operational Semantics.pdf
Loading…

Permalink

Description

Owning Collections