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

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

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

Download st-core-services 10.1

Filename	Size
st-core-services-10.1.pom
st-core-services-10.1.jar	4 MB
st-core-services-10.1-test-sources.jar	4 KB
st-core-services-10.1-sources.jar	565 KB
st-core-services-10.1-javadoc.jar	2 MB