Introduction to Formal Specification and Z Book Discussion
Introduction to Formal Specification and Z (Prentice-Hall International Series in Computer Science)
by
Introduction to Formal Specification and Z (Prentice-Hall International Series in Computer Science)