Cita APA

SpringerLink (Online service), Beyer, D., Hartmanns, A., & Kordon, F. (2025). TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions (1st ed. 2025.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-67695-6

Citación estilo Chicago

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

Cita MLA

SpringerLink (Online service), et al. TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions. 1st ed. 2025. Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-67695-6.