TY - THES A1 - Wildner, Uwe T1 - CASC : compiler assisted self-checking of structural integrity Y1 - 1997 UR - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/23895 ER -