CS Department Colloquium Series
Designing Formally Correct Intermittent Systems
Milijana Surbatovich, Carnegie Mellon University
February 27
12:30 pm
Computer Science Building, 105
See event website for additional details and how to view or participate.