NPTEL Video Course : Automated Program Verification

Lecture 49 - Galois Connection