@misc{indiciae988675fccd67,
  title = {Using Off-the-Shelf Exception Support Components in C++ Verification},
  author = {Vladimír Štill and Petr Ročkai and Jiří Barnat},
  year = {2018},
  doi = {10.1109/qrs.2017.15},
  url = {https://arxiv.org/abs/1703.02394},
  note = {Source identifier: 1703.02394}
}