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

Duration


The project has a planned duration of 2 years (july 2008- july 2010).





Last update: April 16, 2010