Formale Anforderungsanalyse und Testunterstützung im Produktlinienkontext

Florian Markert. Formale Anforderungsanalyse und Testunterstützung im Produktlinienkontext. PhD thesis, Darmstadt University of Technology, 2012. [doi]

Abstract

Abstract is missing.