BibTeX record conf/ifip/GerhartMTBBELTW80

download as .bib file

@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},
  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},
  year      = {1980},
  crossref  = {DBLP:conf/ifip/1980},
  timestamp = {Fri, 26 Jul 2019 22:58:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip/GerhartMTBBELTW80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip/1980,
  editor    = {Simon H. Lavington},
  title     = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
               Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
               14-17, 1980},
  publisher = {North-Holland/IFIP},
  year      = {1980},
  isbn      = {0-444-86034-7},
  timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip/1980},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics