Text this: On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis.