CS Department Colloquium Series
Formal Verification of a Concurrent File System
Tej Chajed, Massachusetts Institute of Technology
April 04
12:30 pm
Computer Science Building, 105
See event website for additional details and how to view or participate.
