METODI FORMALI DELL'INFORMATICA A.A. 2002-2003 — C.d.L. in Informatica
Prof. Domenico Cantone Università degli Studi di Catania