"Verifying Non-functional Properties of Software Product Lines: Towards an ..."

Carlo Ghezzi, Amir Molzam Sharifloo (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics