NPTEL Video Course : Discrete Mathematical Structures

Lecture 9 - Proving Programs Correct (Continued)