id: 50250646
dt: j
an: 50250646
au: Schaefer, Ina; Hähnle, Reiner
ti: Formal methods in software product line engineering
so: IEEE Computer 44, No. 2, 82-85 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://doi.ieeecomputersociety.org/10.1109/MC.2011.47