Items where Author is "<span class="person_name">Ferreira, Francisco</span>"
Number of items: 1.
Other
  • Statically Verified Refinements for Multiparty Protocols. (2020) Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova and Nobuko Yoshida