Publications

Recherche de publications

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant

Publications de FaiezZalila

Rédaction d’actes de conférences et de workshops Conférences et workshops internationaux avec actes édités et comité de lecture Conférences et workshops nationaux avec actes édités et comité de lecture Thèses et habilitations
  • Faiez Zalila

    Methods and tools for the integration of formal verification in domain-specific languages

    Thèse de doctorat, Institut National Polytechnique de Toulouse, décembre 2014.

    BibTeX