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)