The Verifying Compiler: A Grand Challenge for computing research of the 21st

Gresham College Lectures

Gresham College Lectures
The Verifying Compiler: A Grand Challenge for computing research of the 21st
Mar 18, 2004
Gresham College