Correct Hardware Design and Verification Methods: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings 1993 · ENGLISH · DJVU View details →