TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions

MLA

Beyer, Dirk, Arnd Hartmanns, and Fabrice Kordon. Toolympics Challenge 2023 : Updates, Results, Successes of the Formal-methods Competitions. Cham: Springer, 2024.

APA

Beyer, D., Hartmanns, A., & Kordon, F. (2024). TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions. Cham: Springer.

Chicago

Beyer, Dirk., Arnd Hartmanns, and Fabrice Kordon. Toolympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions. Cham: Springer, 2024.