A High-level Modular Definition of the Semantics of C (2005)

by E Börger, N G Fruja, V Gervasi, R F Stärk
Venue:Theoretical Computer Science