BibTeX record conf/stringology/WatsonCK14

download as .bib file

@inproceedings{DBLP:conf/stringology/WatsonCK14,
  author    = {Bruce W. Watson and
               Loek G. Cleophas and
               Derrick G. Kourie},
  title     = {Using Correctness-by-Construction to Derive Dead-zone Algorithms},
  booktitle = {Proceedings of the Prague Stringology Conference 2014, Prague, Czech
               Republic, September 1-3, 2014},
  pages     = {84--95},
  year      = {2014},
  crossref  = {DBLP:conf/stringology/2014},
  url       = {http://www.stringology.org/event/2014/p09.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/WatsonCK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2014,
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Proceedings of the Prague Stringology Conference 2014, Prague, Czech
               Republic, September 1-3, 2014},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2014},
  url       = {http://www.stringology.org/event/2014/},
  isbn      = {978-80-01-05547-2},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics