Categories |
CategoriesData KeY Data Formats Formal Verification |
---|---|
GroupId | GroupIdio.monkeypatch.kaval |
ArtifactId | ArtifactIdkaval-core-metadata |
Version | Version0.1.0 |
Type | Typemodule |
Filename | Size |
---|---|
kaval-core-metadata-0.1.0.pom | |
kaval-core-metadata-0.1.0.module | 854 bytes |
kaval-core-metadata-0.1.0-sources.jar | 10 KB |
kaval-core-metadata-0.1.0-javadoc.jar | 67 KB |
Browse |