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

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

Download st-core-services 5.0

Filename	Size
st-core-services-5.0.pom
st-core-services-5.0.jar	644 KB
st-core-services-5.0-sources.jar	361 KB
st-core-services-5.0-javadoc.jar	1 MB