‹Programming› 2020
Mon 23 - Thu 26 March 2020 Porto, Portugal

Registered user since Mon 30 Sep 2019

Name: Aurélien Coet

Country: Switzerland

Affiliation: University of Geneva, Centre Universitaire d’Informatique, Geneva, Switzerland


‹Programming› 2020Author of An Annotation System for Specifying Aliasing Invariants on Object Fields within the Student Research Competition-track
Show activities from other conferences

‹Programming› 2020-profile
View general profile