Fingerprint
Dive into the research topics of 'Extending the Dafny IDE with tactics and dead annotation analysis (tool demo)'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Extending the Dafny IDE with tactics and dead annotation analysis (tool demo)
Gudmund Grov, Yuhui Lin, Léon McGregor, Vytautas Tumas, Duncan Cameron
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution