Fangyi Zhou - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Registered user since Tue 1 Jan 2019

Name: Fangyi Zhou

Affiliation: Imperial College London

Contributions

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

SPLASH 2020-profile
View general profile