Mansouri, Nazanin, Mentor. University of Portland, United States

• Journal of Student Research Vol. 10 No. 4 (2021) - Research Articles
  
  Predicting Formal Verification Resource Needs (Computation Time and Memory) through Machine Learning
  
  Abstract   PDF