APA (7th ed.) Citation

TOOLympics Challenge (Veranstaltung) Paris, Beyer, D., Hartmanns, A., & Kordon, F. (2025). TOOLympics Challenge 2023: Updates, results, successes of the formal-methods competitions (1st ed. 2025.). Springer. https://doi.org/10.1007/978-3-031-67695-6

Chicago Style (17th ed.) Citation

TOOLympics Challenge (Veranstaltung) Paris, Dirk Beyer, Arnd Hartmanns, and Fabrice Kordon. TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-methods Competitions. 1st ed. 2025. Cham, Switzerland: Springer, 2025. https://doi.org/10.1007/978-3-031-67695-6.

MLA (9th ed.) Citation

TOOLympics Challenge (Veranstaltung) Paris, et al. TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-methods Competitions. 1st ed. 2025. Springer, 2025. https://doi.org/10.1007/978-3-031-67695-6.