2009-11-11 – On Quantitative Software Verification
Department of Computer Science and Technology
Recordings
Wednesday Seminar recordings
Duration: 53:26, 869 MB/h, 774 MB, download: mp4, talks.cam, speed: 0.50×0.75×1.00×1.25×1.50×1.75×2.00×2.50×