Publications
| Publication |
| An Improved Interface for Interactive Proofs in Separation Logic |
Advisors
| Former Staff Member |
|---|
| Dr.-Ing. Sebastian Ullrich |
Students
| former tutors |
|---|
| Lars König |
masters thesis (finished): An Interface for Separation Logic Proofs in Lean