NPTEL Video Course : Automated Program Verification

Lecture 13 - Theory of Numbers