NPTEL Video Course : Automated Program Verification

Lecture 30 - Weakest Pre-condition - Part C : Compound Statements