NPTEL Video Course : Automated Program Verification

Lecture 28 - Weakest Pre-condition - Part A : Primitive Statements