Cheng Zhang

Registered user since Thu 8 Jul 2021

Name:Cheng Zhang
Country:United States
Affiliation:Boston University
Research interests:Algebra, Program Verification

Contributions

POPL 2022 On Incorrectness Logic and Kleene Algebra With Top and Tests
Show activities from other conferences

Using general profile