TY  - RPRT
TI  - Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering
AU  - Joanne M. Atlee
AU  - Stefania Gnesi
PY  - 2015
DO  - 10.4204/eptcs.182
UR  - https://arxiv.org/abs/1504.03014
ID  - 1504.03014
ER  -