TOOLympics 2019: An Overview of Competitions in Formal Methods

Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Scopus citations

Fingerprint Dive into the research topics of 'TOOLympics 2019: An Overview of Competitions in Formal Methods'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science