NPTEL Video Course : ACM Indian Summer School on Programming Languages: Principles and Practice

Lecture 17 - Program Semantics - Prof. Subhajit Roy Session - 2