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:




 Record created 2019-08-23, last modified 2019-12-05

PUBLISHER'S VERSION:
Download fulltext
PDF

Rate this document:

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