BibTeX record journals/computer/BowenBDGGHHHJJLPRWZ96

• > Home > journals/computer/BowenBDGGHHHJJLPRWZ96

@article{DBLP:journals/computer/BowenBDGGHHHJJLPRWZ96,
  author       = {Jonathan P. Bowen and
                  Ricky W. Butler and
                  David L. Dill and
                  Robert L. Glass and
                  David Gries and
                  Anthony Hall and
                  Michael G. Hinchey and
                  C. Michael Holloway and
                  Daniel Jackson and
                  Cliff B. Jones and
                  Michael J. Lutz and
                  David Lorge Parnas and
                  John M. Rushby and
                  Jeannette M. Wing and
                  Pamela Zave},
  title        = {An Invitation to Formal Methods},
  journal      = {Computer},
  volume       = {29},
  number       = {4},
  pages        = {16--30},
  year         = {1996},
  url          = {https://doi.org/10.1109/MC.1996.488298},
  doi          = {10.1109/MC.1996.488298},
  timestamp    = {Thu, 14 Oct 2021 08:48:55 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/BowenBDGGHHHJJLPRWZ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}