Computer-Aided Reasoning for Product-Line Model Checking

  • Bruno Dawagne

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Résumé

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

'