TY  - RPRT
TI  - Assurance Case Development for Evolving Software Product Lines: A Formal Approach
AU  - Logan Murphy
AU  - Torin Viger
AU  - Alessio Di Sandro
AU  - Aren A. Babikian
AU  - Marsha Chechik
PY  - 2025
UR  - https://arxiv.org/abs/2511.03026
ID  - 2511.03026
ER  -