NPTEL Video Course : Automated Program Verification

Lecture 54 - Properties of Kildall's Algorithm