Presentation of Z language

 

Introduction
Z language
ADT (abstract machines)
Examples
Keyword Index
 

Possibilities / Limitations