A Generic Approach for Automated Verification of Product Line Models

  • Raul MAZO PENA

Student thesis: Doc types › Doctor of Sciences

Date of Award2011
Original languageEnglish
SupervisorPatrick Heymans (Jury)

Cite this

'