Items where Author is "Neykova, Rumyana"

Number of items: 1.
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
    • This list was generated on Fri Apr 17 01:27:02 2026 BST.