Mieke Massink
Project contributors (alphabetical order):
Project coordinator:
Last update:
Sepetember 23, 2010
|
XXL
Advanced Tools and Techniques for the Specification and Verification of Systems with Elevated Granularity |
|
| Participants |
|
| CNR-RSTL project FM&&T group CNR-ISTI 2008-2010 |
Pisa, IT
September 23th, 2010. |
Contact
|
Project coordinator: