Towards the Verifying Compiler
C. A. R. Hoare
Book Title
Formal Methods at the Crossroads. From Panacea to Foundational Support‚ 10th Anniversary Colloquium of UNU/IIST‚ the International Institute for Software Technology of The United Nations University‚ Lisbon‚ Portugal‚ March 18−20‚ 2002‚ Revised Papers
Editor
Bernhard K. Aichernig and T. S. E. Maibaum
Pages
151−160
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2757
Year
2002