NPTEL Video Course : Automated Program Verification

Lecture 11 - Theory of Equality (T_=) - Part A