Download xsd2vdm JAR file with all dependencies
xsd2vdm from group org.into-cps.vdmcheck (version 1.1.3)
A converter for XSD schemas to VDM-SL schemas
Artifact xsd2vdm
Group org.into-cps.vdmcheck
Version 1.1.3
Last update 01. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.into-cps.vdmcheck
Version 1.1.3
Last update 01. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)