conf.researchr.org / Jeremiah Griffin
Registered user since Wed 1 Jul 2020
Name: Jeremiah Griffin
Affiliation: University of California, Riverside
Contributions
| ICFP 2020 | Author of TLC: Temporal Logic of Distributed Components within the ICFP Program-track |