Categories |
CategoriesData KeY Data Formats Formal Verification |
---|---|
GroupId | GroupIdio.monkeypatch.kaval |
ArtifactId | ArtifactIdkaval-core-metadata |
Version | Version0.5.0 |
Type | Typepom.sha512 |
Filename | Size |
---|---|
kaval-core-metadata-0.5.0.pom | |
kaval-core-metadata-0.5.0-sources.jar | 10 KB |
kaval-core-metadata-0.5.0-javadoc.jar | 74 KB |
Browse |