ICFP 2020
Sun 23 - Fri 28 August 2020

Registered user since Wed 1 Jul 2020

Name: Jeremiah Griffin

Affiliation: University of California, Riverside

Contributions

ICFP 2020Author of Temporal Logic of Composable Distributed Components within the Research Papers-track
Show activities from other conferences

Using general profile