1.
Twigg J, Torkelson E, Mansouri N. Predicting Formal Verification Resource Needs (Computation Time and Memory) through Machine Learning. J Stud Res [Internet]. 2021Nov.30 [cited 2024Mar.29];10(4). Available from: https://www.jsr.org/index.php/path/article/view/1443