Jmlspecs.org
Title
The Java Modeling Language (JML) Home Page
Description
Excerpted from the website description:
- The Java Modeling Language, JML, a design by contract (DBC) specification language for Java
Languages
English
Additional Information
Related Domains
External Links