NPTEL Video Course : Automated Program Verification

Lecture 29 - Weakest Pre-condition - Part B : Primitive Statements