NPTEL Video Course : Automated Program Verification

Lecture 41 - Introduction to Abstract Interpretation