Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake. Potential synergies of theorem proving and model checking for software product lines. In Stefania Gnesi, Alessandro Fantechi, editors, 18th International Software Product Line Conference, SPLC '14, Florence, Italy - September 15 - 19, 2014. pages 177-186, ACM, 2014. [doi]
Abstract is missing.