Languages
TOOLympics (Competition) (2023 :)
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
TOOLympics challenge 2023 = updates, results, successes of the formal-methods competitions /
by:
TOOLympics (Competition) (2023 :); Beyer, Dirk.; Hartmanns, Arnd.; SpringerLink (Online service); Kordon, Fabrice.
(Electronic resources)