Automated Repair of Utility Constraint Sets

Activity: Examination or supervisionExternal supervision and examination

Description

Diplom/Master/Magisterarbeit
Period1 Jan 200830 Apr 2010
ExamineeStefan Schippel
Examination held atAlpen-Adria Universität Klagenfurt