Towards the Verifying Compiler (From Object−Orientation to Formal Methods‚ Essays in Memory of Ole−Johan Dahl, 2004)

(untitled) - Hoare, C