Last Version 11.1 →

it.uniroma2.art.semanticturkey:st-dataeu-connector 10.2

Categories	Categories Ant Build Tools Data KeY Data Formats Formal Verification
GroupId	GroupId it.uniroma2.art.semanticturkey
ArtifactId	ArtifactId st-dataeu-connector
Version	Version 10.2
Type	Type bundle

Download st-dataeu-connector 10.2

Filename	Size
st-dataeu-connector-10.2.pom
st-dataeu-connector-10.2.jar	24 KB
st-dataeu-connector-10.2-sources.jar	13 KB
st-dataeu-connector-10.2-javadoc.jar	82 KB
Browse