Spara
TOOLympics Challenge 2023
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France.
- Undertitel
- Updates, Results, Successes of the Formal-Methods Competitions
- Redaktör
- Dirk Beyer, Arnd Hartmanns, Fabrice Kordon
- Upplaga
- 2024 ed.
- ISBN
- 9783031676949
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2024-11-01
- Sidor
- 172