NPTEL Video Course : Automated Program Verification

Lecture 23 - Strongest Post Condition - Part A : Primitive Statements