NPTEL Video Course : Automated Program Verification

Lecture 2 - Propositional Logic (PL)