Not registered as user yet
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 | Committee Member in Program Committee within the ESOP-track Session Chair of Session 7 (part of ESOP) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ESOP 2015-profile
View general profile
View general profile