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

Semantic Turkey main project. It contains the core business logic of the system.

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

Download st-core-framework 10.2

Filename	Size
st-core-framework-10.2.pom
st-core-framework-10.2.jar	1 MB
st-core-framework-10.2-tests.jar	87 KB
st-core-framework-10.2-test-sources.jar	40 KB
st-core-framework-10.2-sources.jar	865 KB
st-core-framework-10.2-javadoc.jar	4 MB