Proof Composition for Deductive Verification of Software Product Lines.

Thomas Thm, Ina Schaefer, Martin Kuhlemann, Sven Apel

Browse the full ICST paper archive.