The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
An overview of JML tools and applications
The work
| Authors | Lilian Burdy; Yoonsik Cheon; David R. Cok; Michael D. Ernst; Joseph R. Kiniry; Gary T. Leavens; K. Rustan M. Leino; Erik Poll |
|---|---|
| Editors | |
| Type | article |
| Year | 2005 |
| Also known as | burdy2004overview |
| Citekey | burdy2005overview |
Where it appeared
| Published in | International Journal on Software Tools for Technology Transfer |
|---|---|
| Publisher | Springer Science and Business Media LLC |
| Volume | 7 |
| Issue | 3 |
| Pages | 212--232 |
Identifiers
| DOI | 10.1007/s10009-004-0167-4 |
|---|---|
| ISSN | 1433-2779 |
Access
| Landing page | https://doi.org/10.1007/s10009-004-0167-4 |
|---|
Cite it as
@article{burdy2005overview,
title = {An overview of JML tools and applications},
author = {Lilian Burdy and Yoonsik Cheon and David R. Cok and Michael D. Ernst and Joseph R. Kiniry and Gary T. Leavens and K. Rustan M. Leino and Erik Poll},
year = {2005},
journal = {International Journal on Software Tools for Technology Transfer},
publisher = {Springer Science and Business Media LLC},
volume = {7},
number = {3},
pages = {212--232},
issn = {1433-2779},
doi = {10.1007/s10009-004-0167-4},
}
This record lives at https://refs.drheap.org/burdy2005overview/ and will keep
doing so. It used to be called burdy2004overview, and those addresses still resolve to this one.