A Generic Approach for Automated Verification of Product Line Models

  • Raul MAZO PENA

Student thesis: Doc typesDoctor of Sciences

Abstract

Date of Award2011
Original languageEnglish
SupervisorPatrick HEYMANS (Jury)

Cite this

'