NPTEL Video Course : Automated Program Verification

Lecture 24 - Strongest Post Condition - Part B : Primitive Statements