Ivan Lanese -

Registered user since Tue 17 May 2022

Name:Ivan Lanese

Affiliation:University of Bologna/INRIA

Contributions

ECOOP 2022	Author of Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming within the Research Papers-track
CREST 2019	Committee Member in Program Committee within the CREST-track