NPTEL Video Course : Automated Program Verification

Lecture 45 - Lattice Theory Basics - Part A