ESEC/FSE 2018 (series) / Stéphane Glondu
Not registered as user yet
Name:Stéphane Glondu
Affiliation:Inria Nancy
Research interests:programming langauges, logic, formal methods, cryptographic protocols, voting systems
Contributions
ESEC/FSE 2018-profile
View general profile
View general profile