NPTEL Video Course : Automated Program Verification

Lecture 59 - Constant Abstract Domain