ECOOP and ISSTA 2021 (series) / Christian Bartolo Burlò
Registered user since Fri 30 Apr 2021
Name:Christian Bartolo Burlò
Country:Italy
Affiliation:Gran Sasso Science Institute
Twitter:https://twitter.com/bartoloburlo
Research interests:Runtime Verification, Behavioural Types
Contributions
| ECOOP 2021 | On the Monitorability of Session Types, in Theory and Practice On the Monitorability of Session Types, in Theory and Practice | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA 2021-profile
View general profile
View general profile