is not current version

Last Version 11.1 →

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

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.1
Type	Type bundle

Download st-core-services 8.0.1

Filename	Size
st-core-services-8.0.1.pom
st-core-services-8.0.1.jar	891 KB
st-core-services-8.0.1-test-sources.jar	4 KB
st-core-services-8.0.1-sources.jar	488 KB
st-core-services-8.0.1-javadoc.jar	1 MB
Browse