Early prediction of the evolution and prognosis of mild acute pancreatitis through Dual Source-CT and Formal Methods. - Valeria Sorgente; Marco Di Serafino; Giulia Varriano; Vittoria Nardone; Alfonso Reginelli; Pasquale Avella; Salvatore Spiezia; Aldo Rocca; Antonella Santone; Maria Chiara Brunese (Comput. Biol. Medicine, 2025)