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
Project Reports

Parent Project

Community Z Tools

Built by Maven

Project Summary

Project Information

Field	Value
Name	CZT Typechecker
Description	Provides classes for typechecking a Z specification.
Homepage	http://czt.sourceforge.net/typechecker

Project Organization

Field	Value
Name	Community Z Tools Project
URL

Build Information

Field	Value
GroupId	net.sourceforge.czt
ArtifactId	typechecker
Version	1.0
Type	jar