Seminar Calendar
Wednesday, March 30, 2011
Wednesday, March 30th, 2011
4:00pm
–
5:00pm
Add to Cal
Computing + Mathematical Sciences Lecture
Formal Verification of Software Infrastructure: From Science to Engineering
Adam Chlipala,
Harvard University,