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 Object-Z Typechecker
Description	Provides classes for typechecking Object Z specifications.
Homepage	http://czt.sourceforge.net/typechecker-oz

Project Organization

Field	Value
Name	Community Z Tools Project
URL

Build Information

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