Categories |
CategoriesAnt Build Tools Infer Application Testing & Monitoring Code Analysis KeY Data Data Formats Formal Verification |
---|---|
GroupId | GroupIdit.uniroma2.art.semanticturkey |
ArtifactId | ArtifactIdst-trivial-inference-sail |
Version | Version9.0 |
Type | Typebundle |