TOOLympics Challenge 2023

TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions and published by Springer. The Digital and eTextbook ISBNs for TOOLympics Challenge 2023 are 9783031676956, 3031676955 and the print ISBNs are 9783031676949, 3031676947. Save up to 80% versus print by going digital with VitalSource.

TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions and published by Springer. The Digital and eTextbook ISBNs for TOOLympics Challenge 2023 are 9783031676956, 3031676955 and the print ISBNs are 9783031676949, 3031676947. Save up to 80% versus print by going digital with VitalSource.