"Abhängigkeitsgraph." . . "Abhängigkeitsgraph" . . . . . . . . "Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik" . . . . . . . . . "Intervallanalyse." . . "Intervallanalyse" . "Binäres Entscheidungsdiagramm." . . "Binäres Entscheidungsdiagramm" . "Program Slicing." . . "Program Slicing" . "Programmanalyse." . . "Programmanalyse" . "Sicherheitsanalyse." . . "Sicherheitsanalyse" . . .