GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Analyse Statique De Programmes: Interprétation Abstraite, Systèmes De Typage, Vérification

Analyse Statique De Programmes: Interprétation Abstraite, Systèmes De Typage, Vérification

1 faculty research Analyse Statique De Programmes: Interprétation Abstraite, Systèmes De Typage, Vérification on GradNova.

Q
Analyse Dynamique De Programmes: Concolic Testing, Fuzzing
Analyse Statique De Programmes: Interprétation Abstraite, Systèmes De Typage, Vérification
Interpréteurs, Langages D'ordres Supérieurs, Langages Fonctionnels
Sécurité Des Applications
+5