Write a Blog >>
Sarfraz Khurshid

Registered user since Thu 5 Apr 2018

Name: Sarfraz Khurshid

Affiliation: University of Texas at Austin

Contributions

ESEC/FSE 2020 AlloyMC: Alloy Meets Model Counting
Show activities from other conferences

ESEC/FSE 2020-profile
View general profile