University of Illinois Urbana-Champaign

Runtime Verification of C Memory Safety

Rosu, Grigore; Schulte, Wolfram; Serbanuta, Traian Florin

Content Files
Runtime Verification of C Memory Safety.pdf
Loading…

Permalink

Description

Owning Collections