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