Download Latest Version openjml-ubuntu-20.04-0.17.0-alpha-15.zip (329.5 MB)
Email in envelope

Get an email when there's a new version of Java Modeling Language (JML)

Home / JIR / OpenJIR
Name Modified Size InfoDownloads / Week
Parent folder
CHANGE.TXT 2010-02-12 304 Bytes
openjir-20100212.tar.gz 2010-02-12 21.8 MB
openjir-20100127.tar.gz 2010-01-27 21.8 MB
Totals: 3 Items   43.6 MB 0