Call for Papers: Volume 13 Issue 3
If you are an undergraduate or graduate student at a college or university aspiring to publish, we are accepting submissions. Submit Your Article Now!
Torkelson, Erik, 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
