The Verifying Compiler: A Grand Challenge for Computing Research (2003)

by Tony Hoare
Venue:Journal of the ACM
Citations:83 - 1 self