I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

IntelliJML: a JML plugin for IntelliJ IDEA:

, In: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs,
Monteiro, Steven ; Sokolovas, Erikas ; Wittingen, Ellen.. - p. 39-42 , 2021
Link: https://dl.acm.org/doi/10.1145/3464971.3468423