LWN.net Logo

JML 3.7 released

Version 3.7 of The Java Modeling Language (JML) has been released. "This release of JML has many improvements over the earlier (3.6) release."
(Log in to post comments)

Copyright © 2003, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds