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

former tutors
Marc Huisinga