Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter SoftwareStefan HusterSold outTrack