✦ LIBER ✦
Managing Requirements Knowledge || Automated Verification of Variability Model Using First-Order Logic
✍ Scribed by Maalej, Walid; Thurimella, Anil Kumar
- Book ID
- 120429859
- Publisher
- Springer Berlin Heidelberg
- Year
- 2013
- Weight
- 417 KB
- Category
- Article
- ISBN
- 3642344194
No coin nor oath required. For personal study only.