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