University of Illinois Urbana-Champaign

Towards a Unified Theory of Operational and Axiomatic Semantics — Extended Abstract

Rosu, Grigore

Loading…

Permalink

Description

Owning Collections