Computer-Aided Reasoning for Product-Line Model Checking

  • Bruno Dawagne

Student thesis: Master typesMaster en sciences informatiques

la date de réponse3 sept. 2014
langue originaleAnglais
L'institution diplômante
  • Universite de Namur
SuperviseurPatrick Heymans (Promoteur) & MAXIME CORDY (Copromoteur)

Contient cette citation

'