ETAPS 2019 (series) / Bernardo Toninho

Registered user since Tue 18 Sep 2018
Name:Bernardo Toninho
Affiliation:Imperial College London
Personal website:https://www.doc.ic.ac.uk/~bparente/
Contributions
ESOP 2019 | Manifest Deadlock-Freedom for Shared Session Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile