Skip to content
Book Glossary
Home
Practice
Lessons
About
Andreas Fett
Books
ZUM '98 : the Z Formal Specification Notation
Author data:
Open Library