NPTEL Video Course : Automated Program Verification

Lecture 15 - Combination of Theories