BibTeX record conf/itp/CordwellTP21

download as .bib file

@inproceedings{DBLP:conf/itp/CordwellTP21,
  author    = {Katherine Cordwell and
               Yong Kiam Tan and
               Andr{\'{e}} Platzer},
  title     = {A Verified Decision Procedure for Univariate Real Arithmetic with
               the {BKR} Algorithm},
  booktitle = {{ITP}},
  series    = {LIPIcs},
  volume    = {193},
  pages     = {14:1--14:20},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2021}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics