NPTEL Video Course : ACM Winter School on Design, Implementation and Verification of Computer Systems


Lecture 27 - Program Testing and Verification - Session 2


        


DIGIMAT Learning Management Platform