Towards Certified Analysis of Software Product Line Safety Cases.

Ramy Shahin, Sahar Kokaly, Marsha Chechik

Browse the full SAFECOMP paper archive.