@misc{indiciae0a3abd40c45a,
  title = {pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs},
  author = {Clément Aubert and Thomas Rubiano and Neea Rusch and Thomas Seiller},
  year = {2023},
  url = {https://arxiv.org/abs/2107.00097},
  note = {Source identifier: 2107.00097}
}