Registered user since Wed 1 Jul 2020

Name:Jeremiah Griffin
Affiliation:University of California, Riverside

Contributions

PLDI 2022 (ICFP 2020) TLC: Temporal Logic of Distributed Components
Show activities from other conferences

Using general profile