NPTEL Video Course : Automated Program Verification

Lecture 7 - First-Order Logic (FOL)