Last Version 11.1 →

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

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

Download st-core-services 0.12

Filename	Size
st-core-services-0.12.pom
st-core-services-0.12.jar	494 KB
st-core-services-0.12-sources.jar	189 KB
st-core-services-0.12-javadoc.jar	645 KB
Browse