Prof. Paul (Uni Saarbruecken, VeriSoft) und Prof. Ganzinger (MPI Saarbruecken)