DISI Dipartimento di Informatica e Scienze dell'Informazione


This page is under development.



Formal Methods for Software Development: Research Links

Past initiatives

In the years the group has taken part in various national and international initiatives and established various research links. Among the national projects Among the international initiatives Current initiatives Research links Collaboration is currrently especially strict with



Please send suggestions and comments to: Last Updated:
Maura Cerioli cerioli@disi.unige.it
29 April, 1996