Citazione Stile APA (7a Edizione)

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.