Kristína Zákopčanová

2016

Jiří Barnat, Ivana Černá, Petr Ročkai, Vladimír Štill, and Kristína Zákopčanová:
On Verifying C++ Programs with Probabilities,
ACM Symposium on Applied Computing, 2016, 1238–1243. [bibtex, url]

2015

Kristína Zákopčanová:
On Chaining Divine and Prism Model Checkers,
Bachelor’s Thesis, 2015. [bibtex, pdf, url]