TY  - RPRT
TI  - Verifying the Fisher-Yates Shuffle Algorithm in Dafny
AU  - Stefan Zetzsche
AU  - Jean-Baptiste Tristan
AU  - Tancrede Lepoint
AU  - Mikael Mayer
PY  - 2025
UR  - https://arxiv.org/abs/2501.06084
ID  - 2501.06084
ER  -