Categories |
CategoriesKeY Data Data Formats Formal Verification |
---|---|
GroupId | GroupIdio.monkeypatch.kaval |
ArtifactId | ArtifactIdkaval-core-jvm |
Version | Version0.4.0 |
Type | Typepom.sha512 |
Filename | Size |
---|---|
kaval-core-jvm-0.4.0.pom | |
kaval-core-jvm-0.4.0-sources.jar | 10 KB |
kaval-core-jvm-0.4.0-javadoc.jar | 70 KB |
Browse |