Raymond Hu - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Not registered as user yet

Name: Raymond Hu

Affiliation: University of Hertfordshire

Contributions

SPLASH 2020	Featherweight Go Statically Verified Refinements for Multiparty Protocols Statically Verified Refinements for Multiparty Protocols Statically Verified Refinements for Multiparty Protocols Featherweight Go
Show activities from other conferences

SPLASH 2020-profile
View general profile