NPTEL Video Course : Automated Program Verification

Lecture 35 - Hoare Logic - Part D : Putting it all together