Correct Hardware Design and Verification Methods: 11th IFIP WG10.5 Advanced Research Working Conference‚ CHARME 2001: Livingston‚ Scotland‚ UK‚ September 4–7 2001: Proceedings
Book Title
Correct Hardware Design and Verification Methods: 11th IFIP WG10.5 Advanced Research Working Conference‚ CHARME 2001: Livingston‚ Scotland‚ UK‚ September 4–7 2001: Proceedings
Editor
Tiziana Margaria and Tom Melham
ISBN
3−540−42541−1
ISSN
0302−9743
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
2144
Year
2001