CZT - Project Summary

Last Published: 07/05/2007

Main

Get CZT

Download

Documentation

Project Documentation

Project Information
- About
- Continuous Integration
- Dependencies
- Dependency Convergence
- Issue Tracking
- Mailing Lists
- Project License
- Project Summary
- Project Team
- Source Repository

Parent Project

Community Z Tools

Built by Maven

Project Summary

Project Information

Field	Value
Name	CZT Parser Source
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/parser-src

Project Organization

Field	Value
Name	Community Z Tools Project
URL

Build Information

Field	Value
GroupId	net.sourceforge.czt
ArtifactId	parser-src
Version	1.0
Type	maven-plugin