ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Fangyi Zhou

Registered user since Tue 1 Jan 2019

Name: Fangyi Zhou

Affiliation: Imperial College London

Contributions

PLACES 2019 Fluid Types: Statically Verified Distributed Protocols with Refinements
Show activities from other conferences

ETAPS 2019-profile
View general profile