NPTEL Video Course : Automated Program Verification

Lecture 16 - Compactness of FOL