skip to primary navigationskip to content

Department of Computer Science and Technology

Recordings

 

Wednesday Seminar recordings

2009-11-11 – On Quantitative Software Verification