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
November 15th, 2011.

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

Upcoming Events


  • QAPL12 Workshop. Quantitative Aspects of Programming Languages. Mieke Massink and Herbert Wiklicky (Co-chair). 31 March -1 April 2012, Tallinn, Estonia. Co-located with ETAPS 2012.

 
Last update: November 15, 2011