BibTeX record conf/birthday/CertezeanuDELSW16

download as .bib file

  author    = {Razvan Certezeanu and
               Sophia Drossopoulou and
               Benjamin Egelund{-}M{\"{u}}ller and
               K. Rustan M. Leino and
               Sinduran Sivarajan and
               Mark J. Wheelhouse},
  title     = {Quicksort Revisited - Verifying Alternative Versions of Quicksort},
  booktitle = {Theory and Practice of Formal Methods},
  series    = {Lecture Notes in Computer Science},
  volume    = {9660},
  pages     = {407--426},
  publisher = {Springer},
  year      = {2016}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics