Registered user since Wed 30 Sep 2020

Name: Lu-Chi Liu

Affiliation: University of Amsterdam

Contributions

GPCE 2020 Author of eFLINT: A Domain-Specific Language for Executable Norm Specifications within the GPCE-track