DISI Dipartimento di Informatica e Scienze dell'Informazione




This page is under development.


Formal Methods for Software Development: Selected Publications



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