BibTeX records: D. A. Baker

• > Home > Persons > D. A. Baker

@inproceedings{DBLP:conf/ifip/GerhartMTBBELTW80,
  author       = {Susan L. Gerhart and
                  David R. Musser and
                  David H. Thompson and
                  D. A. Baker and
                  R. L. Bates and
                  Roddy W. Erickson and
                  Ralph L. London and
                  D. G. Taylor and
                  David S. Wile},
  editor       = {Simon H. Lavington},
  title        = {An Overview of {AFFIRM:} {A} Specification and Verification System},
  booktitle    = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
                  Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
                  14-17, 1980},
  pages        = {343--347},
  publisher    = {North-Holland/IFIP},
  year         = {1980},
  timestamp    = {Fri, 26 Jul 2019 22:58:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/GerhartMTBBELTW80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}