BibTex format
@inproceedings{Gheri:2022:10.4230/LIPIcs.ECOOP.2022.8,
author = {Gheri, L and Lanese, I and Sayers, N and Tuosto, E and Yoshida, N},
doi = {10.4230/LIPIcs.ECOOP.2022.8},
title = {Design-By-Contract for Flexible Multiparty Session Protocols},
url = {http://dx.doi.org/10.4230/LIPIcs.ECOOP.2022.8},
year = {2022}
}