NPTEL Video Course : Automated Program Verification

Lecture 53 - Introduction to Kildall's Algorithm