Giunti, M., & Yoshida, N. (2025). Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report.
Style de citation Chicago (17e éd.)Giunti, Marco, et Nobuko Yoshida. Iso-Recursive Multiparty Sessions and Their Automated Verification -- Technical Report. 2025.
Style de citation MLA (9e éd.)Giunti, Marco, et Nobuko Yoshida. Iso-Recursive Multiparty Sessions and Their Automated Verification -- Technical Report. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.