skip to main content
Caltech

Computing + Mathematical Sciences Lecture

Wednesday, March 30, 2011
4:00pm to 5:00pm
Add to Cal
Annenberg 105
Formal Verification of Software Infrastructure: From Science to Engineering
Adam Chlipala, Harvard University,
"Formal Verification of Software Infrastructure: From Science to Engineering," Adam Chlipala, Harvard University.
For more information, please contact Sydney Garstang by phone at x4555 or by email at [email protected].