is not current version

it.uniroma2.art.semanticturkey:st-trivial-inference-sail 8.0

Categories	Categories Ant Build Tools Infer Application Testing & Monitoring Code Analysis KeY Data Data Formats Formal Verification
GroupId	GroupId it.uniroma2.art.semanticturkey
ArtifactId	ArtifactId st-trivial-inference-sail
Version	Version 8.0
Type	Type bundle

Download st-trivial-inference-sail 8.0

Filename	Size
st-trivial-inference-sail-8.0.pom
st-trivial-inference-sail-8.0.jar	14 KB
st-trivial-inference-sail-8.0-test-sources.jar	5 KB
st-trivial-inference-sail-8.0-sources.jar	8 KB
st-trivial-inference-sail-8.0-javadoc.jar	63 KB
Browse