How to add a POM dependency to Maven
POM as dependency in dependencyManagement
<dependency>
<groupId>dk.au.ece.vdmj</groupId>
<artifactId>vdmj-suite</artifactId>
<version>4.4.6</version>
</dependency>
MVN
dk.au.ece.vdmj : vdmj-suite
Maven & Gradle
VDMJ Suite · VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter (with arbitrary precision arithmetic), a debugger, a proof obligation generator and a combinatorial test generator with coverage recording, as well as JUnit support for automatic testing and user definable annotations.
Copy
pom.xml
Table Of Contents
Latest Version
Choose a version of dk.au.ece.vdmj : vdmj-suite to add to Maven - Latest Versions:
- Latest Stable: 4.4.6
All Versions
Choose a version of dk.au.ece.vdmj : vdmj-suite to add to Maven - All Versions:
| Version | Vulnerabilities | Updated | |
|---|---|---|---|
| 4.4.x |
vdmj-suite-4.4.6
|
||
|
vdmj-suite-4.4.6-P
|
|||
|
vdmj-suite-4.4.5-P
|
|||
|
vdmj-suite-4.4.5
|
|||
Advertisement
