Play
00:00
Play
Seek 10 seconds backwards
Seek 10 seconds forward
00:00 / 00:00
Mute
Picture in picture
Fullscreen

Special Seminar: Tej Chajed, "Formal verification of a concurrent file system"

From Erin Klapacz 3/9/2022  

73 plays 0 comments
Loading…