Revision as of 22:05, 21 May 2021 edit Citation bot (talk \| contribs) Bots 5,864,628 edits Alter: title. \| Use this bot. Report bugs. \| Suggested by SemperIocundus \| #UCB_webform ← Previous edit		Revision as of 15:38, 16 October 2021 edit undo Citation bot (talk \| contribs) Bots 5,864,628 edits Add: title. Changed bare reference to CS1/2. \| Use this bot. Report bugs. \| Suggested by BrownHairedGirl \| Linked from User:BrownHairedGirl/Articles_with_bare_links \| #UCB_webform_linked 1902/2198 Next edit →
Line 10: [http://www.openjml.org/ OpenJML], the successor of ESC/Java2, is available for Java 1.8.<ref>http://jmlspecs.sourceforge.net/</ref> The source is available at https://github.com/OpenJML <ref>{{Cite web\|url=https://sourceforge.net/p/jmlspecs/code/HEAD/tree/OpenJML/trunk/OpenJML/\|title=Java Modeling Language (JML) / Code / [r9606] /OpenJML/Trunk/OpenJML}}</ref> == See also ==

ESC/Java: Difference between revisions