Java Modeling Language (JML) Mailing Lists

Status: Beta

Brought to you by: chalin, cheon, davidcok, dmzimmerman, and 3 others

Mailing Lists

jmlspecs-commits: Subscribe | Archive | Search — Commit messages for JML (only)
jmlspecs-developers: Archive | Search — Discussions among JML developers; includes tracker report changes
jmlspecs-interest: Archive | Search — Discussions of the JML language and semantics; post problems as support requests