Publications
| Publication |
| Formally Verified Insertion of Reference Counting Instructions |
Advisors
| Former Staff Member |
|---|
| Dr.-Ing. Sebastian Ullrich |
Students
| former tutors |
|---|
| Marc Huisinga |
bachelor thesis (finished): Formally Verified Insertion of Reference Counting Instructions
Please see the German description