is not current version

Last Version 11.1 →

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

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 10.2
Type	Type bundle

Download st-core-services 10.2

Filename	Size
st-core-services-10.2.pom
st-core-services-10.2.jar	4 MB
st-core-services-10.2-test-sources.jar	4 KB
st-core-services-10.2-sources.jar	568 KB
st-core-services-10.2-javadoc.jar	2 MB
Browse