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

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

Download st-core-framework 5.0

Filename	Size
st-core-framework-5.0.pom
st-core-framework-5.0.jar	1 MB
st-core-framework-5.0-test-sources.jar	97 KB
st-core-framework-5.0-sources.jar	803 KB
st-core-framework-5.0-javadoc.jar	4 MB