ETAPS 2019 (series) / Fan Yang
Registered user since Fri 1 Mar 2019
Name: Fan Yang
Affiliation: University of Helsinki
Personal website: https://sites.google.com/site/fanyanghp/
Contributions
| GaLoP 2019 | Author of Logics for first-order definable team properties within the GaLoP-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile