NPTEL Video Course : Automated Program Verification

Lecture 21 - Different Forms of Program Specifications