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 Ten Years of Hunting for Similar Code for Fun and Profit
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile