Toolympics challenge 2023: updates, results, successes of the formal-methods competitions
Éditeur :
Springer International Publishing AG
ISBN :
9783031676949
Date de publication :
1 nov. 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.