Items where Author is "Ferreira, Francisco"

Item Type No Grouping

Conference or Workshop Item

Statically Verified Refinements for Multiparty Protocols. (2020) Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova and Nobuko Yoshida picture_as_pdf