HOME | DEUTSCH | IMPRESSUM | KIT

bachelor thesis (finished): Formally Verified Insertion of Reference Counting Instructions

Please see the German description 

Publications

Publication
Formally Verified Insertion of Reference Counting Instructions

Advisors

Scientific Staff
Sebastian Ullrich

Students

Students
Marc Huisinga