Incremental model checking of delta-oriented software product lines
Published in J. Log. Algebraic Methods Program., 2016
Stephan Mennicke
Research Associate at ICCL, Knowledge-Based Systems Group
- Dresden, Germany
- TU Dresden
- ResearchGate
- Github
- Google Scholar
- ORCID