Tony Hoare

Recent Past Lectures
WATCHED

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

Tony Hoare
Thursday, 18 March 2004 - 12:00AM