@inproceedings{SRB2017,
 author = {Vladimír Štill and Petr Ročkai and Jiří Barnat},
 booktitle = {IEEE International Conference on Software Quality, Reliability and Security (QRS)},
 doi = {10.1109/QRS.2017.15},
 keywords = {C++ languages, Libraries, Software, Standards, Testing, Tools, C++, Exceptions, Model Checking, Unwinder, divine, exceptions, red hat},
 month = {July},
 note = {https://divine.fi.muni.cz/2017/exceptions/},
 pages = {54-64},
 title = {{Using Off-the-Shelf Exception Support Components in C++ Verification}},
 url = {http://ieeexplore.ieee.org/document/8009908/},
 year = {2017}
}