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.
No references recorded for this publication.
No citations of this publication recorded.