is not current version

Last Version 11.1 →

it.uniroma2.art.semanticturkey:st-core-services 8.0

The set of core services bundled with the default Semantic Turkey XPI

Categories	Categories Ant Build Tools KeY Data Data Formats Formal Verification
GroupId	GroupId it.uniroma2.art.semanticturkey
ArtifactId	ArtifactId st-core-services
Version	Version 8.0
Type	Type bundle

Download st-core-services 8.0

Filename	Size
st-core-services-8.0.pom
st-core-services-8.0.jar	893 KB
st-core-services-8.0-test-sources.jar	4 KB
st-core-services-8.0-sources.jar	487 KB
st-core-services-8.0-javadoc.jar	1 MB
Browse