Download org.coreasm.engine JAR 1.7.3 with all dependencies
Files of the artifact org.coreasm.engine version 1.7.3 from the group org.coreasm.
Artifact org.coreasm.engine
Group org.coreasm
Version 1.7.3
Last update 02. August 2016
Tags: abstract with appropriate validation tool focuses state executable experimental where machines coreasm lean models project system formal environment level verification supporting combination high language design
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies jgraph, jgrapht, jparsec, concurrent, junit, org.coreasm.util,
There are maybe transitive dependencies!
Group org.coreasm
Version 1.7.3
Last update 02. August 2016
Tags: abstract with appropriate validation tool focuses state executable experimental where machines coreasm lean models project system formal environment level verification supporting combination high language design
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies jgraph, jgrapht, jparsec, concurrent, junit, org.coreasm.util,
There are maybe transitive dependencies!
The newest version!
Show all versions of org.coreasm.engine Show documentation
Please rate this JAR file. Is it a good library?
1 downloads
Source code of org.coreasm.engine version 1.7.3
Please wait ...