© Department of Computer Science
University of Verona