School of Technology and Computer Science
School of Technology and Computer Science

Foundations of Program Verification: Theory and Practice

Instructor: 

Paritosh K Pandya

Semester: 

  • 2013 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-theory-and-practice