Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang. A Formal Approach to Verify Mapping Relation in a Software Product Line. In Seventh International Conference on Computer and Information Technology (CIT 2007), October 16-19, 2007, University of Aizu, Fukushima, Japan. pages 934-939, IEEE Computer Society, 2007. [doi]
Abstract is missing.