Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > KORNEVA Alexandrina
About LRI
Mrs KORNEVA Alexandrina
Doctorant
Université Paris-Sud
Verification of Algorithms, Languages and Systems

Tel : 0169153589
Fax :
Office : 39/PCRI-S

Personal web page :
Email : Alexandrina.Korneva@lri.fr











Ph.D. dissertations & Faculty habilitations
Thesis in progress   - Modélisation et vérification de smart-contrats par des techniques de model checking