"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