Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities.

Martin Becker, Sren Kemmann, K. C. Shashidhar

Browse the full SPLC paper archive.