NPTEL Video Course : Software Engineering

Lecture 7 - Algebraic Specification Methods