Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll. An overview of JML tools and applications. Electronic Notes in Theoretical Computer Science, 80:75-91, 2003. [doi]
@article{BurdyCCEKLLP03,
title = {An overview of JML tools and applications},
author = {Lilian Burdy and Yoonsik Cheon and David R. Cok and Michael D. Ernst and Joseph Kiniry and Gary T. Leavens and K. Rustan M. Leino and Erik Poll},
year = {2003},
url = {http://www1.elsevier.com/gej-ng/31/29/23/137/23/show/Products/notes/index.htt#006},
researchr = {https://researchr.org/publication/BurdyCCEKLLP03},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {75-91},
}