Registered user since Wed 1 Jul 2020

Name: Jeremiah Griffin

Affiliation: University of California, Riverside

Contributions

ICFP 2020Author of TLC: Temporal Logic of Distributed Components within the ICFP Program-track