NPTEL Video Course : Automated Program Verification

Lecture 38 - Verification Condition Generation - Part B