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

Full text!
Type:
e-book
Titel:
TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions
Auteur:
Beyer, Dirk.; Hartmanns, Arnd; Kordon, Fabrice
Taal:
Engels
Uitgever:
Cham Springer 2024
ISBN:
3-031-67694-7
3-031-67695-5
Permalink:
http://bibtest.howest.be/catalog/ebk03:36479509800041