Can I read Z/EVES LaTeX Package for Notation on EtoBox?

Z/EVES LaTeX Package for Notation by Cheddy GPg is a document available to read on EtoBox.

What is Z/EVES LaTeX Package for Notation about?

The document describes a LaTeX package for typesetting Z and CSP notation. It loads fonts and defines symbols to represent concepts in Z and CSP. The package builds on previous work and aims to provide an updated version for typesetting these formal methods.

Author

Cheddy GPg

Language

EN