Last Version 11.1 →

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

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

Download st-changetracking-sail 6.0

Filename	Size
st-changetracking-sail-6.0.pom
st-changetracking-sail-6.0.jar	81 KB
st-changetracking-sail-6.0-test-sources.jar	13 KB
st-changetracking-sail-6.0-sources.jar	53 KB
st-changetracking-sail-6.0-javadoc.jar	201 KB
Browse