Zum '95: the z formal specification notation (e-book)
Bowen, Jonathan
Zum '95: the z formal specification notation (e-book) - Berlin Springer 1995 - Lecture Notes in Computer Science (LNCS) v.967 .
978-3-540-44782-5
Zum '95: the z formal specification notation (e-book) - Berlin Springer 1995 - Lecture Notes in Computer Science (LNCS) v.967 .
978-3-540-44782-5