The 2008 CAV Award citation


Published in:
Formal Methods in System Design, 35, 4-5
Year:
2009
Publisher:
Springer, Springer US; http://www.springer-ny.com
ISSN:
0925-9856
1572-8102
Note:
National Licences
Additional link:
Laboratories:


Note: The status of this file is: Anyone


 Record created 2019-08-23, last modified 2020-05-19

Final:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)