conf.researchr.org / Fangzhen Lin
Not registered as user yet
Name: Fangzhen Lin
Contributions
| FTfJP 2019 | Author of Translating Classes to First-Order Logic: An Example within the FTfJP 2019-track |
| ETAPS 2019 | Author of VIAP 1.1 within the Posters-track |