publications:
- title: "Family-Based Deductive Verification of Software Product Lines"
  author:
  - name: "Thomas Thüm"
    link: "http://www.ovgu.de/~tthuem/"
  - name: "Ina Schaefer"
    link: "http://www.tu-braunschweig.de/sse/mitarbeiter/schaefer"
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Martin Hentschel"
    link: "https://www.se.tu-darmstadt.de/se/group-members/martin-hentschel/"
  year: "2012"
  month: "SEP"
  links:
    "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"
  kind: "inproceedings"
  key: "ThScAp-:GPCE12"