Formal Foundations for Software Engineering Methods

SPRINGER
09 / 1997
9783540636137
Inglés
Lecture Notes in Computer Science