Jaza

swMATH18262MaRDI QIDQ30105FDOQ30105

Author name not available (Why is that?)

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