TY  - RPRT
TI  - Statically Verified Refinements for Multiparty Protocols
AU  - Fangyi Zhou
AU  - Francisco Ferreira
AU  - Raymond Hu
AU  - Rumyana Neykova
AU  - Nobuko Yoshida
PY  - 2020
UR  - https://arxiv.org/abs/2009.06541
ID  - 2009.06541
ER  -