skip to primary navigationskip to content

Department of Computer Science and Technology

Recordings

 

Wednesday Seminar recordings

2010-02-17 – Proving that programs eventually do something good