Skip to main content

Towards the Verifying Compiler

C. A. R. Hoare

Book Title
From Object−Orientation to Formal Methods‚ Essays in Memory of Ole−Johan Dahl
Editor
Olaf Owe and Stein Krogdahl and Tom Lyche
Pages
124−136
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2635
Year
2004