@inproceedings{DBLP:conf/sac/BarnatCRSZ16,
  author    = {Ji{\v{r}}{\'{i}} Barnat and
               Ivana {\v{C}}ern{\'{a}} and
               Petr Ro{\v{c}}kai and
               Vladim{\'{\i}}r {\v{S}}till and
               Krist{\'{\i}}na Z{\'{a}}kopcanov{\'{a}}},
  title     = {On verifying {C++} programs with probabilities},
  booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
               Pisa, Italy, April 4-8, 2016},
  pages     = {1238--1243},
  year      = {2016},
  crossref  = {DBLP:conf/sac/2016},
  url       = {http://doi.acm.org/10.1145/2851613.2851721},
  doi       = {10.1145/2851613.2851721},
  timestamp = {Mon, 06 Jun 2016 18:51:39 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/BarnatCRSZ16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/sac/2016,
  editor    = {Sascha Ossowski},
  title     = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
               Pisa, Italy, April 4-8, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2851613},
  doi       = {10.1145/2851613},
  isbn      = {978-1-4503-3739-7},
  timestamp = {Mon, 06 Jun 2016 16:18:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}