Project Information

Field Value
Name CZT Eclipse
Description Set of libraries and 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 Circus.
Homepage http://czt.sourceforge.net/eclipse

Project Organization

Field Value
Name Community Z Tools Project
URL http://czt.sourceforge.net

Build Information

Field Value
GroupId net.sourceforge.czt.eclipse
ArtifactId czt-eclipse-parent
Version 1.6.0-SNAPSHOT
Type pom

Back to top

Version: 1.6.0-SNAPSHOT. Last Published: 2016-04-09.

Reflow Maven skin by Andrius Velykis.