Zetzsche, S., Tristan, J., Lepoint, T., & Mayer, M. (2025). Verifying the Fisher-Yates Shuffle Algorithm in Dafny.
Citazione stile Chigago Style (17a edizione)Zetzsche, Stefan, Jean-Baptiste Tristan, Tancrede Lepoint, e Mikael Mayer. Verifying the Fisher-Yates Shuffle Algorithm in Dafny. 2025.
Citatione MLA (9a ed.)Zetzsche, Stefan, et al. Verifying the Fisher-Yates Shuffle Algorithm in Dafny. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.