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

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

Download st-changetracking-sail 2.0

Filename	Size
st-changetracking-sail-2.0.pom
st-changetracking-sail-2.0.jar	70 KB
st-changetracking-sail-2.0-test-sources.jar	9 KB
st-changetracking-sail-2.0-sources.jar	46 KB
st-changetracking-sail-2.0-javadoc.jar	176 KB