NPTEL Video Course : Automated Program Verification

Lecture 19 - Introduction to Program Verification