|
 |
Doctorant
Université Paris-Saclay
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
|
