conf.researchr.org / Raymond Hu
Not registered as user yet
Name:Raymond Hu
Affiliation:University of Hertfordshire
Contributions
2020
SPLASH
- Author of Featherweight Go within the OOPSLA-track
- Author of Statically Verified Refinements for Multiparty Protocols within the Posters-track
- Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA Artifacts-track
- Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA-track
- Author of Featherweight Go within the OOPSLA Artifacts-track