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