ETAPS 2019 (series) / Fangyi Zhou
Registered user since Tue 1 Jan 2019
Name: Fangyi Zhou
Affiliation: Imperial College London
Contributions
| PLACES 2019 | Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile