APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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