Locane, AntonioSaccà, DomenicoManco, GiuseppeTalia, Domenico2014-03-052014-03-052008http://hdl.handle.net/10955/410https://doi.org/10.13126/unical.it/dottorati/410Dottorato di Ricerca in Ingegneria dei Sistemi ed Informatica, XXI Ciclo,2008enIngegneria dei sistemiEstrazione datiStruttura formaleModelling complex data mining applications in a formal frameworkThesis