Skip to main content

The Verifying Compiler: A Grand Challenge for Computing Research

C. A. R. Hoare

Month
July 15
Note
Slides
Year
2003