conf.researchr.org / Ali Mili
Not registered as user yet
Name:Ali Mili
Country:United States
Affiliation:NJIT
Contributions
FormaliSE 2022 | Author of Computing Program Functions within the FormaliSE 2022-track |
FormaliSE 2021 | Author of Quantifying Faultiness: What Does It Mean to Have N Faults within the FormaliSE 2021-track |