Watch Past Lectures

Select Subject
Art and literature
Business
History
Law
Mathematics
Medical science
Music
Politics
Religion
Science
Unusual
WATCHED

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

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