Formal semantics, modular specification, and symbolic verification of product-line behaviour

✍ Scribed by Classen, Andreas; Cordy, Maxime; Heymans, Patrick; Legay, Axel; Schobbens, Pierre-Yves

• Book ID: 122281586
• Publisher: Elsevier Science
• Year: 2014
• Tongue: English
• Weight: 574 KB
• Volume: 80
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/j.scico.2013.09.019