@misc{indiciaef321d38c7131,
  title = {Model Checking C++ Programs},
  author = {Felipe R. Monteiro and Mikhail R. Gadelha and Lucas C. Cordeiro},
  year = {2021},
  url = {https://arxiv.org/abs/2107.01093},
  note = {Source identifier: 2107.01093}
}