NPTEL Video Course : Software Engineering

Lecture 6 - Formal Specification