Présentation du langage Z
Introduction
Langage Z
Machines abstraites
Exemples
Index
Possibilités / Limitations