Seminars
Tuesday, February 7, 2006
Feb 7
4:15 p.m. - 5:45 p.m.
CS201: Jon Postel Distinguished Lecture - What are we Trying to Prove? Prospects for Certified Code" , PETE LEE, Carnegie Mellon University
Powered by
WebEvent (tm)
.