NPTEL Video Course : Automated Program Verification

Lecture 39 - Handling functions