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



CNR-RSTL project
FM&&T group  CNR-ISTI
Pisa, IT
November 15th, 2011.

  • Project Coordinator
  •   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