Write a Blog >>

Not registered as user yet

Name:Jiayi Yang
Affiliation:University of Texas at Austin, USA

Contributions

ESEC/FSE 2020 Conversations on SAT and Synthesis
AlloyMC: Alloy Meets Model Counting
Show activities from other conferences

ESEC/FSE 2020-profile
View general profile