study thesis (finished): Verified Implementation of Patricia trees



Advisors

Scientific Staff
Denis Lohner

Former Staff Member
Dr. Andreas Lochbihler