TY - THES A1 - Gerber, Stefan T1 - Using software for fault detection in arithmetical circuits Y1 - 1995 UR - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/27194 ER -