Write a Blog >>

Not registered as user yet

Name: Jiayi Yang

Affiliation: University of Texas at Austin, USA

Contributions

ESEC/FSE 2020Author of AlloyMC: Alloy Meets Model Counting within the Tool Demos-track
Show activities from other conferences

Using general profile