Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel. Proof Composition for Deductive Verification of Software Product Lines. In Proceedings of the International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST). 2011.
Abstract is missing.