NPTEL Video Course : Automated Program Verification

Lecture 46 - Lattice Theory Basics - Part B