@article{Burdy_2004,
    doi = {10.1007/s10009-004-0167-4},
    url = {https://doi.org/10.1007%2Fs10009-004-0167-4},
    year = {2004},
    month = {dec},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {7},
    number = {3},
    pages = {212--232},
    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},
    title = {An overview of {JML} tools and applications},
    journal = {International Journal on Software Tools for Technology Transfer}
}

@article{Burdy_2004, doi = {10.1007/s10009-004-0167-4}, url = {https://doi.org/10.1007%2Fs10009-004-0167-4}, year = {2004}, month = {dec}, publisher = {Springer Science and Business Media {LLC}}, volume = {7}, number = {3}, pages = {212--232}, 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}, title = {An overview of {JML} tools and applications}, journal = {International Journal on Software Tools for Technology Transfer} }