DMCA

erbanut, a, Runtime verification of C memory safety, (2009)

by Grigore Ros , Wolfram Schulte , Traian Florin
Venue:Lecture Notes in Computer Science
Citations:3 - 1 self