conf.researchr.org / Mohammad Mahdavi
Not registered as user yet
Name:Mohammad Mahdavi
Country:Iran
Affiliation:Sharif University of Technology
Contributions
PLDI 2021 | Author of Polynomial Reachability Witnesses via Stellensätze within the PLDI-track |