Le moteur de recherche
des thèses françaises
Julia L. Lawall
IdRefMots clés
FR |
EN
Génie logiciel
Vérification
Logiciels
Code source (informatique)
Coq (logiciel)
Binaire
Logiciels -- Maintenance
Différences de programmes
Sémantique opérationnelle
Preuves mécanisées en Coq
Logique relationnelle
Langages de programmation -- Sémantique
Système de fichiers
Cohérence (informatique)
Lignes de Produits Logiciels
Apprentissage Statistique
Intelligence Articifielle
Ingénierie Logicielle
Apprentissage automatique
Intelligence artificielle