Safe Evolution of Product Lines Using Configuration Knowledge Laws

Leopoldo Teixeira, Rohit Gheyi, Paulo Borba
2020
PDF
Type
Conference paper
Publication
23rd Brazilian Symposium on Formal Methods (SBMF 2020)
comments powered by Disqus