Margherita Napoli, professor of Computer Science.
Short Resume
Recent Publications
Didattica
(in italian only)
Tools
Graded-CTL
Recente conferences
GANDALF 2010
(General Chair)
GAMES 2009
Recent projects
Logics in Computer Science