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 |