NPTEL Video Course : Automated Program Verification

Lecture 40 - Handling Pointers