BibTex format
@inproceedings{Gheri:2022,
author = {Gheri, L and Lanese, I and Sayers, N and Tuosto, E and Yoshida, N},
title = {Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming (Artifact)},
year = {2022}
}