IntelliJML: A JML plugin for IntelliJ IDEA

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
115 Downloads (Pure)

Fingerprint

Dive into the research topics of 'IntelliJML: A JML plugin for IntelliJ IDEA'. Together they form a unique fingerprint.

Computer Science