School of Technology and Computer Science

Foundations of Program Verification

Instructor:

Paritosh K Pandya

Semester:

2014 Spring/Summer (Jan - May)

Tata Institute of Fundamental Research, Homi Bhabha Road, Mumbai 400005, INDIA

https://www.tcs.tifr.res.in/academics/courses/foundations-program-verification