NPTEL Video Course : NOC:An Introduction to Programming through C++

Lecture 28 - Correctness proof for GCD - Part 6