6th Workshop
on Formal Methods and Analysis in SPL Engineering
London, UK, April 11, 2015
(co-located with
ETAPS'15
)
