Computing + Mathematical Sciences Lecture
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].
Event Series
Computing + Mathematical Sciences Lecture Series