TY  - RPRT
TI  - Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering
AU  - Julia Rubin
AU  - Thomas Thüm
PY  - 2016
DO  - 10.4204/eptcs.206
UR  - https://arxiv.org/abs/1603.08577
ID  - 1603.08577
ER  -