A formal semantics of C with applications (2010)

by C Ellison, G Roşu
Venue:University of Illinois