APA-Zitierstil (7. Ausg.)

Wesselink, W., Huizing, K., & van de Wetering, H. (2025). Formal Verification of Minimax Algorithms.

Chicago-Zitierstil (17. Ausg.)

Wesselink, Wieger, Kees Huizing, und Huub van de Wetering. Formal Verification of Minimax Algorithms. 2025.

MLA-Zitierstil (9. Ausg.)

Wesselink, Wieger, et al. Formal Verification of Minimax Algorithms. 2025.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.