Elias Benussi

Registered user since Mon 22 Apr 2019

Name: Elias Benussi

Affiliation: Faculty Science Ltd

Contributions

PLDI 2019 Verifying Message-Passing Programs with Dependent Behavioural Types
Show activities from other conferences

PLDI 2019-profile
View general profile