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