Zetzsche, S., & Tristan, J. (2023). Dafny-VMC: a Library for Verified Monte Carlo Algorithms [Computer software]. https://github.com/dafny-lang/Dafny-VMC