Safe Evolution of Product Lines Using Configuration Knowledge Laws

von Teixeira, Leopoldo
Veröffentlicht in SBMF (23. : 2020 : Online) Formal methods: foundations and applications (2020)

Porting the Software Product Line Refinement Theory to the Coq Proof Assistant

von Alves, Thayonara
Veröffentlicht in SBMF (23. : 2020 : Online) Formal methods: foundations and applications (2020)