XXL
Advanced Tools and Techniques for the Specification and Verification of Systems with Elevated Granularity

 

 


CNR-RSTL project
FM&&T group  CNR-ISTI
2008-2010
Pisa, IT
Friday April 16th, 2010.

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

Recent Developments & Contact Information

For further information on the developments and results of this project we refer to the WordPress page of the XXL project.

Project coordinator:

Dr. Mieke Massink
CNR-ISTI
Via Moruzzi 1,
56124 Pisa, Italy
Home page: http://www.isti.cnr.it/People/M.Massink
 
Last update: April 16, 2010