BibTeX record conf/itp/MunozAMDNAAR21

• > Home > conf/itp/MunozAMDNAAR21

@inproceedings{DBLP:conf/itp/MunozAMDNAAR21,
  author       = {C{\'{e}}sar A. Mu{\~{n}}oz and
                  Mauricio Ayala{-}Rinc{\'{o}}n and
                  Mariano M. Moscato and
                  Aaron Dutle and
                  Anthony J. Narkawicz and
                  Ariane Alves Almeida and
                  Andr{\'{e}}ia B. Avelar and
                  Thiago Mendon{\c{c}}a Ferreira Ramos},
  editor       = {Liron Cohen and
                  Cezary Kaliszyk},
  title        = {Formal Verification of Termination Criteria for First-Order Recursive
                  Functions},
  booktitle    = {12th International Conference on Interactive Theorem Proving, {ITP}
                  2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {193},
  pages        = {27:1--27:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.ITP.2021.27},
  doi          = {10.4230/LIPICS.ITP.2021.27},
  timestamp    = {Mon, 21 Jun 2021 16:26:35 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/MunozAMDNAAR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}