Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=233853650.

Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes / Heytem Zitoun ; sous la direction de Michel Rueher et de Claude Michel

Date :

Editeur / Publisher : , 2018

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Logiciels -- Vérification -- Thèses et écrits académiques

Arithmétique en virgule flottante -- Thèses et écrits académiques

Rueher, Michel (19..-....) (Directeur de thèse / thesis advisor)

Michel, Claude (Ingénieur) (Directeur de thèse / thesis advisor)

Martel, Matthieu (1973-....) (Président du jury de soutenance / praeses)

Goubault, Éric (Rapporteur de la thèse / thesis reporter)

Podelski, Andreas (Rapporteur de la thèse / thesis reporter)

Collavizza, Hélène (Membre du jury / opponent)

Marre, Bruno (Membre du jury / opponent)

Michel, Laurent (informaticien) (Membre du jury / opponent)

Université Côte d'Azur (Organisme de soutenance / degree-grantor)

École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (Ecole doctorale associée à la thèse / doctoral school)

Université de Nice (Autre partenaire associé à la thèse / thesis associated third party)

Laboratoire Informatique, signaux et systèmes (Sophia Antipolis, Alpes-Maritimes) (Laboratoire associé à la thèse / thesis associated laboratory)