Project Summary
Project Information
Field | Value |
---|---|
Name | CZT GnAST Maven Plugin |
Description | Maven plug-in for CZT GnAST generator. Generates AST classes from XML schema files. |
Homepage | http://czt.sourceforge.net/dev/gnast-maven-plugin |
Tools for developing and reasoning about Z specifications
Field | Value |
---|---|
Name | CZT GnAST Maven Plugin |
Description | Maven plug-in for CZT GnAST generator. Generates AST classes from XML schema files. |
Homepage | http://czt.sourceforge.net/dev/gnast-maven-plugin |