ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Delphine Demange

Registered user since Tue 18 Jun 2019

Name:Delphine Demange
Affiliation:IRISA / University of Rennes 1
Research interests:Formal semantics of programming languages, program transformations, static analysis, computer-aided verification, language-based security.


Show activities from other conferences

ESOP 2015-profile
View general profile