Fingerprint
Dive into the research topics of 'TOOLympics II: competitions on formal methods: A Special Issue for TOOLympics 2019'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
TOOLympics II: competitions on formal methods: A Special Issue for TOOLympics 2019
Dirk Beyer*, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
*Corresponding author for this work
Research output: Contribution to journal › Editorial › Academic › peer-review
65
Downloads
(Pure)