Typesetting Z specifications with zed-csp

Author
LianTze Lim
View Count
4251
License
LaTeX Project Public License 1.3c
Abstract

Examples from the zed-csp documentation.

Typesetting Z specifications with zed-csp