Typesetting Z specifications with zed-csp

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

Examples from the zed-csp documentation.

Typesetting Z specifications with zed-csp