BibTeX record conf/sigsoft/Hoare93

download as .bib file

@inproceedings{DBLP:conf/sigsoft/Hoare93,
  author    = {C. A. R. Hoare},
  title     = {Algebra and Models},
  booktitle = {{SIGSOFT} '93, Proceedings of the First {ACM} {SIGSOFT} Symposium
               on Foundations of Software Engineering, Los Angeles, California, USA,
               December 7-10, 1993},
  pages     = {1--8},
  year      = {1993},
  crossref  = {DBLP:conf/sigsoft/1993},
  url       = {http://doi.acm.org/10.1145/256428.167053},
  doi       = {10.1145/256428.167053},
  timestamp = {Mon, 10 Jun 2013 17:49:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/Hoare93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/1993,
  editor    = {David Notkin},
  title     = {{SIGSOFT} '93, Proceedings of the First {ACM} {SIGSOFT} Symposium
               on Foundations of Software Engineering, Los Angeles, California, USA,
               December 7-10, 1993},
  publisher = {{ACM}},
  year      = {1993},
  timestamp = {Mon, 10 Jun 2013 17:49:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier