ETAPS 2017

2017 European Joint Conferences on Theory and Practice of Software (ETAPS), April 22–29, 2017, Uppsala, Sweden

Desktop Layout

Software Product Lines
FASE
Sal C
Variability-Specific Abstraction Refinement for Family-Based Model Checking
Aleksandar S. Dimovski and Andrzej Wąsowski
(IT University of Copenhagen, Denmark)
Publisher's Version
Preprint

Authors:


Time stamp: 2019-07-19T12:59:41+02:00