NPTEL Video Course : Automated Program Verification

Lecture 12 - Theory of Equality (T_=) - Part B