Fingerprint
Dive into the research topics of 'Formal Methods in Industrial Practice: Bridging the Gap (Track Summary)'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Formal Methods in Industrial Practice: Bridging the Gap (Track Summary)
Michael Felderer, Dilian Gurov, Marieke Huisman, Björn Lisper, Rupert Schlick
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
353
Downloads
(Pure)