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