BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-282743, author = {Bartocci, Ezio and Kovacs, Laura and Stankovic, Miroslav}, title = {Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops}, booktitle = {Proc. of ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis}, year = {2019}, pages = {255--276}, address = {11781}, url = {https://publik.tuwien.ac.at/files/publik_282743.pdf}, doi = {10.1007/978-3-030-31784-3}, note = {talk: ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan; 2019-10-28 -- 2019-10-31} } 1 Datensatz ausgegeben