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