Cordes, SvenDaniluk, DamianEisenberg, DominikElmrabti, AchourKaczmarczyk, RomanPorsche, BrittaProjektgruppe 437Rädisch, TimSamet, AbdelouahabSghouri, SaidSteinfort, Sebastian2005-05-312005-05-3120042005-02-09http://hdl.handle.net/2003/2140510.17877/DE290R-12864deUniversität Dortmund, Fachbereich Informatik004OOPCCObject-Oriented Proof-Carrying Codestudy thesis