DISI Dipartimento di Informatica e Scienze dell'Informazione


This page is under development.


Formal Methods for Software Development: Current Research Activities



Foundations of Logical and Algebraic Development Techniques

Models and Specifications of State-Based, Concurrent and Object Systems







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