Runtime verification of C memory safety, in: (2009)

by u Ros, W Schulte G, T F S, ă erbănut
Venue:RV’09, LNCS 5779,