CS Department Colloquium Series

Formal Verification of a Concurrent File System

Tej Chajed, Massachusetts Institute of Technology

April 04
12:30 pm

See event website for additional details and how to view or participate.