FORMAL METHODS ELSEWHERE

A Satellite Workshop of FORTE-PSTV-2000
devoted to
applications of Formal Methods to areas
other than communication protocols and software engineering.

Pisa, October 10, 2000


Sponsored by:

CNR-Istituto CNUCE


Supporting Projects:


Last modified May 2000.
Contact Howard Bowman if you have problems or comments.