IntelliJML: a JML plugin for IntelliJ IDEA.

Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman

Browse the full ECOOP paper archive.