License |
License |
---|---|
Categories |
CategoriesAnt Build Tools KeY Data Data Formats Formal Verification |
GroupId | GroupIdit.uniroma2.art.semanticturkey |
ArtifactId | ArtifactIdst-core-services |
Version | Version11.1 |
Type | Typebundle |
Description |
DescriptionSemantic Turkey CORE Services
The set of core services bundled with the default Semantic Turkey XPI
|
Project Organization |
Project Organization |
Filename | Size |
---|---|
st-core-services-11.1.pom | |
st-core-services-11.1.jar | 4 MB |
st-core-services-11.1-test-sources.jar | 4 KB |
st-core-services-11.1-sources.jar | 583 KB |
st-core-services-11.1-javadoc.jar | 2 MB |
Browse |
Group / Artifact | Type | Version |
---|---|---|
org.springframework : spring-web | jar | 3.2.14.RELEASE |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 4.12 |