![Delphine Demange](https://conf.researchr.org/getProfileImage/delphinedemange/27ed3e3e-5ded-4b70-9837-bc95e39f35f1/small.jpg?1711534823000)
Registered user since Tue 18 Jun 2019
Name:Delphine Demange
Country:France
Affiliation:IRISA / University of Rennes 1
Personal website: http://www.irisa.fr/celtique/demange/
Research interests:Formal semantics of programming languages, program transformations, static analysis, computer-aided verification, language-based security.
Contributions
ESOP 2015-profile
View general profile
View general profile