The verifying compiler, a grand challenge for computing research (2005)

by C A R Hoare
Venue:of Lecture Notes in Computer Science