it.uniroma2.art.semanticturkey:st-changetracking-sail 4.0.2

Categories	Ant Build Tools KeY Data Data Formats Formal Verification
GroupId	it.uniroma2.art.semanticturkey
ArtifactId	st-changetracking-sail
Version	4.0.2
Type	bundle

Download st-changetracking-sail 4.0.2

Filename	Size
st-changetracking-sail-4.0.2.pom
st-changetracking-sail-4.0.2.jar	76 KB
st-changetracking-sail-4.0.2-test-sources.jar	10 KB
st-changetracking-sail-4.0.2-sources.jar	50 KB
st-changetracking-sail-4.0.2-javadoc.jar	193 KB