NPTEL Video Course : Automated Program Verification

Lecture 26 - Strongest Post-Condition - Part D : Putting it all together