faella_marco_img

latorre_salvatore_img

dellamonica_dario_img

montanari_angelo_img

vitacolonna_nicola_img

sala_pietro_img

mogavero_fabio_img

bresolin_davide_img

murano_aniello_img

puppis_gabriele_img

sciavicco_guido_img

GNCS Project on

Logics, Automata, and Games for Formal Verification of Complex Systems

Logics in Computer Science

Logics in Computer Science Web Site

home
meetings
people