Product-line specification and verification with feature-oriented contracts - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Thomas Thüm. Product-line specification and verification with feature-oriented contracts. PhD thesis, Otto von Guericke University Magdeburg, 2015. [doi]

@phdthesis{dnb-644,
  title = {Product-line specification and verification with feature-oriented contracts},
  author = {Thomas Thüm},
  year = {2015},
  url = {http://d-nb.info/106915976X},
  researchr = {https://researchr.org/publication/dnb-644},
  cites = {0},
  citedby = {0},
  school = {Otto von Guericke University Magdeburg},
}

runs on WebDSL