University of Illinois at Urbana-Champaign

A Formal Semantics of C with Applications: Technical Report

Ellison, Chucky M.; Rosu, Grigore

Loading…

Permalink

Description

Owning Collections