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

Format:: e-book
Title:: TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions
Author:: Beyer, Dirk.; Hartmanns, Arnd; Kordon, Fabrice
Language:: English
Publisher:: Cham Springer 2024
ISBN:: 3-031-67694-7
3-031-67695-5
Permalink:: http://bibtest.howest.be/catalog/ebk03:36479509800041?locale=en