Formal Methods in Software Product Lines: Concepts, Survey, and Guidelines
Joseph R. Kiniry · 2008
Mikolas Janota Lero – The Irish Software Engineering Research Centre School of Computer Science and Informatics, University College Dublin, Dublin, Ireland Joseph Kiniry Lero – The Irish Software Engineering Research Centre School of Computer Science and Informatics, University College Dublin, Dublin, Ireland Goetz Botterweck Lero – The Irish Software Engineering Research Centre Department of Computer Science and Information Systems, University of Limerick, Limerick, Ireland 12 March 2008