Report - 2004 The University of Auckland New Zealand SOFTWARE ENGINEERING Formalizing and Analyzing Feature models in Alloy Jing Sun Computer Science [email protected].

Please pass captcha verification before submit form