HOME | DEUTSCH | IMPRESSUM | KIT

bachelor thesis (finished): Formalization of SSA-form

bachelor thesis (finished)

Description only available in german. 

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