NPTEL Video Course : NOC:User-centric Computing for Human-Computer Interaction

Lecture 23 - Introduction to formal models in UCD