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.
@inproceedings{TSKS:VAST11,
title = {Proof Composition for Deductive Verification of Software Product Lines},
author = {Thomas Thüm and Ina Schaefer and Martin Kuhlemann and Sven Apel},
year = {2011},
note = {To appear},
tags = {software product lines, Variability-Aware Analysis, composition, analysis, context-aware},
researchr = {https://researchr.org/publication/TSKS%3AVAST11},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST)},
}