NPTEL Video Course : Logic for CS


Lecture 37 - Verification of Imperative Programs


            


DIGIMAT Learning Management Platform