NPTEL Video Course : Automated Program Verification

Lecture 1 - Course Overview