DBLP Record 'journals/computer/BowenBDGGHHHJJLPRWZ96'

BibTeX

@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   = {IEEE Computer},
  volume    = {29},
  number    = {4},
  year      = {1996},
  pages     = {16-30},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}