HOME | DEUTSCH | IMPRESSUM | KIT

study thesis (finished): Deriving Restrictions on Value Types

Task:

Description only available in German. 

Publications

Publication
Deriving Restrictions on Value Types

Advisors

Former Staff Member
Dipl.-Inform. Sebastian Buchwald

Students

Former Students
Jonas Fietz