On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis. - Santone, Antonella; Belfiore, Maria Paola; Mercaldo, Francesco; Varriano, Giulia; Brunese, Luca; Soilleuxr, Elizabeth (Diagnostics (2075-4418), 2021)