Le moteur de recherche
des thèses françaises
Éric Goubault
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Interprétation abstraite
Vérification
Vérification de programmes
Systèmes dynamiques
Analyse statique
Homologie
Homotopie
Topologie algébrique
Concurrence
Logique épistémique
Parallélisme (informatique)
Topologie algébrique dirigée
Méthodes formelles
Systèmes informatiques -- Mesures de sûreté
Programmation par contraintes
Arithmétique en virgule flottante
Logique modale
Algèbre
Exploration