A runtime assertion checker for the Java Modeling Language (JML) (2002)
by
Yoonsik Cheon
,
Gary T. Leavens
| Venue: | PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE (SERP ’02), LAS VEGAS |
| Citations: | 113 - 18 self |
BibTeX
@INPROCEEDINGS{Cheon02aruntime,
author = {Yoonsik Cheon and Gary T. Leavens},
title = {A runtime assertion checker for the Java Modeling Language (JML)},
booktitle = {PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE (SERP ’02), LAS VEGAS},
year = {2002},
pages = {322--328},
publisher = {CSREA Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
