A Generic Approach for Automated Verification of Product Line Models

  • Raul MAZO PENA

Student thesis: Doc typesDocteur en Sciences

Résumé

la date de réponse2011
langue originaleAnglais
SuperviseurPatrick HEYMANS (Jury)

Contient cette citation

'