Le moteur de recherche
des thèses françaises
Thomas Jensen
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Systèmes informatiques -- Mesures de sûreté
Sécurité
Analyse statique
Interprétation abstraite
Langages de programmation -- Sémantique
Protection de l'information (informatique)
Vérification
Cryptographie
Compilation (informatique)
JavaScript (langage de programmation)
Langages de programmation
Java (langage de programmation)
Méthodes formelles
Smartphones
Logiciels -- Essais
Logiciels -- Validation
Langages formels
Vie privée
Méthodes formelles (informatique)