Browsing by Author Ferreira, F
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
13-Nov-2020 | Statically verified refinements for multiparty protocols | Zhou, F; Ferreira, F; Hu, R; Neykova, R; Yoshida, N |
Issue Date | Title | Author(s) |
---|---|---|
13-Nov-2020 | Statically verified refinements for multiparty protocols | Zhou, F; Ferreira, F; Hu, R; Neykova, R; Yoshida, N |