Publications

Publications de

Communications dans un congrès
Thèses
  • 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

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par