NPTEL Video Course : Topics in Theoritical Computer Science

Lecture 9 - Verification, Games