The VDM++ Standard Library - Project Summary

Last Published: 2009-10-08

The VDM++ Standard Library

Project Documentation

Project Information
- About
- Continuous Integration
- Dependencies
- Dependency Convergence
- Issue Tracking
- Mailing Lists
- Plugin Management
- Project License
- Project Plugins
- Project Summary
- Project Team
- Source Repository

Built by Maven

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