Prof. Buettner (Infineon) im Gespraech mit Prof. Paul (Uni Saarbruecken, VeriSoft)