Completed
PLSE: Mooly Sagiv, "Verifying Safety of Distributed Systems"
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Verifying Safety of Distributed Systems
Automatically move to the next video in the Classroom when playback concludes