NPTEL Video Course : Automated Program Verification

Lecture 14 - Theory of Arrays