Project Team

The following people are working on the development of the FSAP/NuSMV-SA platform:

• Marco Bozzano

• Alessandro Cimatti

And previous members of the development team include:

• Adolfo Villafiorita

• Gabriele Zacco

• Andrea Sboner

• Francesco Tapparo

• Charles Jochim

Last Update: $Date: 2008/02/11 17:08:57 $