NPTEL Video Course : Automated Program Verification

Lecture 33 - Hoare Logic - Part B : Inference Rules for Compound Statements