@misc{indiciae4f638923f3fb,
  title = {ESBMC-Python: A Bounded Model Checker for Python Programs},
  author = {Bruno Farias and Rafael Menezes and Eddie B. de Lima Filho and Youcheng Sun and Lucas C. Cordeiro},
  year = {2024},
  url = {https://arxiv.org/abs/2407.03472},
  note = {Source identifier: 2407.03472}
}