Probabilistic software product lines - Camacho, Carlos; Llana, Luis; Núñez, Alberto; Bravetti, Mario (Journal of logical and algebraic methods in programming, 2019)
Keywords: Computation and Language; Computer Science; Feature Models; Formal Methods; Probabilistic Models; Software Product Lines