NPTEL Video Course : Automated Program Verification

Lecture 32 - Hoare Logic - Part A : Introduction