Login
The Verifying Compiler: A Grand Challenge for computing research of the 21st
Share
- Details
- Transcript
- Audio
- Downloads
- Extra Reading
This event was on Thu, 18 Mar 2004
Support Gresham
Gresham College has offered an outstanding education to the public free of charge for over 400 years. Today, Gresham plays an important role in fostering a love of learning and a greater understanding of ourselves and the world around us. Your donation will help to widen our reach and to broaden our audience, allowing more people to benefit from a high-quality education from some of the brightest minds.
