Robinette, P. K., Lopez, D. M., Serbinowska, S., Leach, K., & Johnson, T. (2024). Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets. FormalISE.
First name
Kevin
Last name
Leach