HOME | DEUTSCH | IMPRESSUM | KIT

bachelor thesis (finished): Formalization of SSA-form



Publications

Publication
Verified Construction of SSA Form

Advisors

Former Staff Member
Dipl.-Inform. Sebastian Buchwald
Dipl.-Inform. Denis Lohner

Students

Former Staff Member
Dr.-Ing. Sebastian Ullrich