DISI Dipartimento di Informatica e Scienze dell'Informazione


This page is under development.



Formal Methods for Software Development Group: Personnel


Faculty staff

Egidio Astesiano (coordinator)
Gerardo Costa
Gianna Reggio
Maura Cerioli
Elena Zucca

Ph. D. students

Davide Ancona
Eva Coscia

External collaborators

Franco Morando






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