Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen

Markus Weckesser. Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen. PhD thesis, Darmstadt University of Technology, Germany, 2019. [doi]

Abstract

Abstract is missing.