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

Thursday, 18 March 2004
Barnard’s Inn Hall

Subject:






Extra lecture materials