texlive-zed-csp
Typesetting Z and CSP format specifications

The package supports real-time CSP and incorporates the functionality of Spivey's original Z package, written for LaTeX 2.09.

LPPL-1.0

To download packages, you need to log in and have a valid subscription.

Please select a product to see the available package versions:

Loading package downloads...