This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and...

This book teaches model-based analysis and model-based testing, with important new ways to write ...