NPTEL Video Course : Automated Program Verification

Lecture 31 - Weakest Pre-condition - Part D : Putting it all together