Early Diagnosis of Liver Metastases from Colorectal Cancer through CT Radiomics and Formal Methods: A Pilot Study. - Rocca, Aldo; Brunese, Maria Chiara; Santone, Antonella; Avella, Pasquale; Bianco, Paolo; Scacchi, Andrea; Scaglione, Mariano; Bellifemine, Fabio; Danzi, Roberta; Varriano, Giulia; Vallone, Gianfranco; Calise, Fulvio; et al. (Journal of Clinical Medicine, 2022)