Fingerprint
Dive into the research topics of 'Proof General in Eclipse: System and Architecture Overview'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Proof General in Eclipse: System and Architecture Overview
David Aspinall, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution