Project Summary

Project Information

Field Value
Name The VDM++ Standard Library
Description -
Homepage http://www.overturetool.org/stdlib

Project Organization

This project does not belong to an organization.

Build Information

Field Value
GroupId org.overturetool
ArtifactId stdlib
Version 1.0.1
Type jar