BibTeX record conf/icse-formalise/PregersonCCLSB23

• > Home > conf/icse-formalise/PregersonCCLSB23

@inproceedings{DBLP:conf/icse-formalise/PregersonCCLSB23,
  author       = {Eli Pregerson and
                  Shaheen Cullen{-}Baratloo and
                  David Chen and
                  Duy Lam and
                  Max Szostak and
                  Lucas Bang},
  title        = {Formalizing Path Explosion for Recursive Functions via Asymptotic
                  Path Complexity},
  booktitle    = {11th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023},
  pages        = {76--85},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/FormaliSE58978.2023.00016},
  doi          = {10.1109/FORMALISE58978.2023.00016},
  timestamp    = {Mon, 10 Jul 2023 15:19:34 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/PregersonCCLSB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}