Project Dependencies

test

The following is a list of test dependencies for this project. These dependencies are only required to compile and run unit tests for the application:

GroupIdArtifactIdVersionClassifierTypeOptional
junitjunit3.8.1-jar

Project Transitive Dependencies

The following is a list of transitive dependencies for this project. Transitive dependencies are the dependencies of the project dependencies.

Project Dependency Graph

Dependency Tree

Dependency Listings

Community Z Tools

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.

http://czt.sourceforge.net

Unnamed - junit:junit:jar:3.8.1