Jaza

MaRDI QIDQ30105swMATHFDO

Official website http://www.cs.waikato.ac.nz/~marku/jaza/userman.pdf

Cited in

(3)

• Invariant-driven specifications in Maude
• CZT
• Z2sal

This page was built for software: Jaza