Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter SoftwareStefan HusterAusverkauftBewachen
