Robinette, P., Lopez, D., Serbinowska, S., Leach, K., & Johnson, T. (2024). Neural Network Malware Detection Verification for Feature and Image Datasets. In FormaliSE. Libson, Portugal. (Original work published May 2024)
First name
Diego
Last name
Lopez