Kontrollflussanalyse und formale Begriffsanalyse von C-Code aus Software-Produktlinien mit Variabilitätsmanagement durch den Präprozessor

Dierk Lüdemann. Kontrollflussanalyse und formale Begriffsanalyse von C-Code aus Software-Produktlinien mit Variabilitätsmanagement durch den Präprozessor. PhD thesis, University of Bremen, Germany, 2018. [doi]

Abstract

Abstract is missing.