Le moteur de recherche
des thèses françaises
Catherine Dubois
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Vérification formelle
Méthodes formelles
Assistants de preuve
Langages de programmation
Logiciels -- Vérification
Coq
Langages de programmation -- Sémantique
Ontologie
Systèmes informatiques -- Mesures de sûreté
Analyse statique
Génie logiciel
UML (informatique)
Logiciels -- Développement
B (méthode formelle)
Objective Caml (langage de programmation)
Code source (informatique)
Isabelle/HOL
Programmation parallèle (informatique)
Vérification