‹Programming› 2020
Mon 23 - Thu 26 March 2020 Porto, Portugal
‹Programming› 2020 (series) / Damien Morard
Damien Morard

Registered user since Sat 22 Feb 2020

Name:Damien Morard
Country:Switzerland
Affiliation:University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland
Personal website: http://morard.me/
Research interests:Semantics, modeling and verification

Contributions

Show activities from other conferences

‹Programming› 2020-profile
View general profile