CGO 2021
Sat 27 February - Wed 3 March 2021

Registered user since Fri 17 Jan 2020

Name:Yahui Sun
Affiliation:Texas A&M University
Research interests:Software Verification, Model Checking

Contributions

CGO 2021 Artifact Evaluation Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Show activities from other conferences

CGO 2021-profile
View general profile