org.into-cps.vdmcheck : fmi3

<!-- https://mavenlibs.com/maven/pom/org.into-cps.vdmcheck/fmi3 --><dependency>
    <groupId>org.into-cps.vdmcheck</groupId>
    <artifactId>fmi3</artifactId>
    <version>1.1.3</version>
</dependency>

// https://mavenlibs.com/maven/pom/org.into-cps.vdmcheck/fmi3implementation group: 'org.into-cps.vdmcheck', name: 'fmi3', version: '1.1.3'

// https://mavenlibs.com/maven/pom/org.into-cps.vdmcheck/fmi3implementation 'org.into-cps.vdmcheck:fmi3:1.1.3'

// https://mavenlibs.com/maven/pom/org.into-cps.vdmcheck/fmi3implementation("org.into-cps.vdmcheck:fmi3:1.1.3")

// https://mavenlibs.com/maven/pom/org.into-cps.vdmcheck/fmi3libraryDependencies += "org.into-cps.vdmcheck" % "fmi3" % "1.1.3"

<!-- https://mavenlibs.com/maven/pom/org.into-cps.vdmcheck/fmi3 --><dependency org="org.into-cps.vdmcheck" name="fmi3" rev="1.1.3"/>

// https://mavenlibs.com/maven/pom/org.into-cps.vdmcheck/fmi3@Grapes(
    @Grab(group='org.into-cps.vdmcheck', module='fmi3', version='1.1.3')
)

;; https://mavenlibs.com/maven/pom/org.into-cps.vdmcheck/fmi3[org.into-cps.vdmcheck/fmi3 "1.1.3"]

# https://mavenlibs.com/maven/pom/org.into-cps.vdmcheck/fmi3'org.into-cps.vdmcheck:fmi3:jar:1.1.3'