Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel
Family-based deductive verification of software product lines
GPCE, 2012.
@inproceedings{GPCE-2012-ThumSHA,
author = "Thomas Thüm and Ina Schaefer and Martin Hentschel and Sven Apel",
booktitle = "{Proceedings of the 11th International Conference on Generative Programming and Component Engineering}",
doi = "10.1145/2371401.2371404",
isbn = "978-1-4503-1129-8",
pages = "11--20",
publisher = "{ACM}",
title = "{Family-based deductive verification of software product lines}",
year = 2012,
}