Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel. Family-based deductive verification of software product lines. In Klaus Ostermann, Walter Binder, editors, Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012. pages 11-20, ACM, 2012. [doi]
Abstract is missing.