@inproceedings{ThScAp-:GPCE12,
  title = {Family-Based Deductive Verification of Software Product Lines},
  author = {Thomas Thüm and Ina Schaefer and Sven  Apel and Martin Hentschel},
  year = {2012},
  month = {SEP},
  url = {http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/ThScAp+:GPCE12.pdf},
  tags = {rule-based, software product lines},
  researchr = {https://researchr.org/publication/ThScAp-%3AGPCE12},
  cites = {0},
  citedby = {0},
  pages = {11-20},
  booktitle = {International Conference on Generative Programming and Component Engineering},
  address = {New York, NY, USA},
  publisher = {ACM},
  isbn = {978-1-4503-1129-8},
}