Community Z Tools 0.4 Description:
The Community Z Tools (CZT) project is building a set of tools for editing, typechecking and animating formal specifications written in the Z specification language, with some support for Z extensions such as Object-Z and TCOZ. These tools are all built using the CZT Java framework for Z tools.
|Publisher:||Mark Utting and Petra Malik More titles >>|
|File size:||Not specified|