2010-04-28 – From Separation Logic to Systems Code
Department of Computer Science and Technology
Recordings
Wednesday Seminar recordings
Duration: 1:19:08, 869 MB/h, 1147 MB, download: mp4, talks.cam, speed: 0.50×0.75×1.00×1.25×1.50×1.75×2.00×2.50×
