Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel. Family-based deductive verification of software product lines. In Klaus Ostermann, Walter Binder, editors, Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012. pages 11-20, ACM, 2012. [doi]
@inproceedings{ThumSHA12,
title = {Family-based deductive verification of software product lines},
author = {Thomas Thüm and Ina Schaefer and Martin Hentschel and Sven Apel},
year = {2012},
doi = {10.1145/2371401.2371404},
url = {http://doi.acm.org/10.1145/2371401.2371404},
researchr = {https://researchr.org/publication/ThumSHA12},
cites = {0},
citedby = {0},
pages = {11-20},
booktitle = {Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012},
editor = {Klaus Ostermann and Walter Binder},
publisher = {ACM},
isbn = {978-1-4503-1129-8},
}