BibTeX record journals/entcs/BurdyCCEKLLP03

• > Home > journals/entcs/BurdyCCEKLLP03

@inproceedings{DBLP:journals/entcs/BurdyCCEKLLP03,
  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},
  editor       = {Thomas Arts and
                  Wan J. Fokkink},
  title        = {An overview of {JML} tools and applications},
  booktitle    = {Eighth International Workshop on Formal Methods for Industrial Critical
                  Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {80},
  pages        = {75--91},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)80810-7},
  doi          = {10.1016/S1571-0661(04)80810-7},
  timestamp    = {Tue, 06 Dec 2022 10:16:05 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BurdyCCEKLLP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}