11 citations · 11 across the 1 of their papers we have counts for
1 paper
Anjali Sree-Kumar, Elena Planas, Robert Clarisó
Feature Models (FMs) are a mechanism to model variability among a family of closely related software products, i.e. a software product line (SPL). Analysis of FMs using formal meth…