Registered user since Thu 14 May 2020

Name:Xizhe Yin
Country:United States
Affiliation:University of California, Riverside

Contributions

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

Using general profile