NPTEL Video Course : Logic for CS

Lecture 38 - Verification of WHILE Programs