@inproceedings{BCRSZ16Prob,
 author = {Jiří Barnat and Ivana Černá and Petr Ročkai and Vladimír Štill and
Kristína Zákopčanová},
 bibsource = {dblp computer science bibliography, http://dblp.org},
 biburl = {http://dblp.uni-trier.de/rec/bib/conf/sac/BarnatCRSZ16},
 booktitle = {{ACM Symposium on Applied Computing}},
 crossref = {DBLP:conf/sac/2016},
 doi = {10.1145/2851613.2851721},
 isbn = {978-1-4503-3739-7},
 keywords = {divine, red hat},
 pages = {1238--1243},
 title = {{On Verifying C++ Programs with Probabilities}},
 url = {http://doi.acm.org/10.1145/2851613.2851721},
 year = {2016}
}