|
 |
Doctorant
Université Paris-Saclay
Vérification d'Algorithmes, Langages et Systèmes
Tel : 0169153589
Fax :
Bureau : 39/PCRI-S
Page personnelle :
Courrier électronique : Alexandrina.Korneva@lri.fr |
Thèses et habilitations Thèse en cours - Modélisation et vérification de smart-contrats par des techniques de model checking
|