Résultats 1 à 4

Dates de soutenance :


Etablissements :

Valider et fermer
  • Cachan, Ecole normale supérieure (1)
  • Grenoble (1)
  • Paris, CNAM (1)
  • Rennes 1 (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (4)

    Disciplines :

    Fullscreen

    Ecoles Doctorales :

    Valider et fermer
    • MATISSE (1)
    • École doctorale Informatique, télécommunications et électronique (Paris) (1)
    • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
    • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

    Valider et fermer
    • anglais (3)
    • français (1)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Blazy Sandrine (2)
    • Dubois Catherine (1)
    • Jensen Thomas (1)
    • Pétrot Frédéric (1)
    • Soutif Eric (1)
    • Termier Alexandre (1)
    • Yakobowski Boris (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (4)

      Domaines :

      Fullscreen

      ...’un compilateur.AbstractAn end-to-end guarantee of software correctness by formal veri!cation must consider two...

      Accéder en ligne

      ...programmers rely on the com-mon implementation of unspecified behaviors by current com-pilers, without any...

      Accéder en ligne

      Résultats 1 à 4