Registered user since Sun 11 Aug 2019

Name: Sébastien Bardin

Country: France

Affiliation: CEA LIST, University Paris-Saclay, France

Personal website: http://sebastien.bardin.free.fr/

Research interests: Program Analysis; Formal Methods; Software Engineering; Security

Contributions