©
Department of Computer Science
University of Verona