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

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 Logics for first-order definable team properties
Show activities from other conferences

ETAPS 2019-profile
View general profile