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


Lecture 26 - Program Testing and Verification - Session 1


            


DIGIMAT Learning Management Platform