ECOOP 2022 (series) / Ivan Lanese

Registered user since Tue 17 May 2022
Name:Ivan Lanese
Affiliation:University of Bologna/INRIA
Contributions
ECOOP 2022 | Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile