Java

From Openproofs

Revision as of 23:26, 6 February 2009 by DWheeler (Talk | contribs)
(diff) ← Older revision | Current revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Krakatoa and KeY are potentially-useful FLOSS tools. Many Java-based tools use some variant of the Java Modeling Language for specifications.

Retrieved from "http://www.openproofs.org/wiki/Java"