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





Retrieved from "http://aboutus.com/index.php?title=Jmlspecs.org&oldid=28702857"