IntelliJML: a JML plugin for IntelliJ IDEA

2021/01/01

Authors:

Steven Monteiro
Erikas Sokolovas
Ellen Wittingen
Tom van Dijk
Marieke Huisman

Published in: FTfJP@ECOOP pp 39–42

DOI: 10.1145/3464971.3468423

BibTeX entry:

@inproceedings{DBLP:conf/ecoop/MonteiroSWDH21,
 author = {Steven Monteiro and
Erikas Sokolovas and
Ellen Wittingen and
Tom van Dijk and
Marieke Huisman},
 booktitle = {FTfJP@ECOOP},
 doi = {10.1145/3464971.3468423},
 pages = {39--42},
 publisher = {{ACM}},
 title = {IntelliJML: a {JML} plugin for IntelliJ {IDEA}},
 year = {2021}
}