Formal Foundations for Software Engineering Methods

SPRINGER
09 / 1997
9783540636137
Anglès
Lecture Notes in Computer Science