TY  - RPRT
TI  - Using Off-the-Shelf Exception Support Components in C++ Verification
AU  - Vladimír Štill
AU  - Petr Ročkai
AU  - Jiří Barnat
PY  - 2018
DO  - 10.1109/qrs.2017.15
UR  - https://arxiv.org/abs/1703.02394
ID  - 1703.02394
ER  -