Proof Composition for Deductive Verification of Software Product Lines

Cite this paper

@article{Thm2011ProofCF, title={Proof Composition for Deductive Verification of Software Product Lines}, author={Thomas Th{\"{u}m and Ina Schaefer and Martin Kuhlemann and Sven Apel}, journal={2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops}, year={2011}, pages={270-277} }