Margherita Napoli, professor of Computer Science.




Tools

Graded-CTL

Recente conferences

GANDALF 2010 (General Chair)
GAMES 2009

Recent projects

Logics in Computer Science