Formal Analysis of Evolving Resilient Usable Systems



International Mini-project in the context of the

EU Network of Excellence ReSIST, 2008
Contract Number: 026764
Pisa, IT
Thursday May 19, 2009.

  • Project Coordinator
  •   M.Massink AT isti.cnr.it

For further information please contact the Project coordinator:

Dr. Mieke Massink
Via Moruzzi 1,
56124 Pisa, Italy
Home page: http://www.isti.cnr.it/People/M.Massink

Last update: May 19, 2009