Contact Information |
Systems and Technologies for Automated Reasoning (STAR) Dipartimento di Informatica Sistemistica e Telematica (DIST) Università di Genova V.le Causa, 15 16145 Genova - Italia |
Phone: +39-010-353-2782 (office) -2811 (lab) Fax: +39-010-353-2948 (departmental fax) e-mail: tac@dist.unige.it |
STAR Lab | DIST | Università di Genova |