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

Thursday, 18 March 2004
Barnard’s Inn Hall

Subject:

,





Extra lecture materials

application/pdf iconPDF transcript of the lecture

Listen to the lecture

Speaker

Tony Hoare

Location

Javascript is required to view this map.
Full address and directions to Barnard’s Inn Hall

Updates by e-mail

Sign up to receive a monthly e-mail newsletter of our future lectures and events.

Share this page

SexyBookmarks