ISBN 354056778X books & textbook
Correct Hardware Design and Verification Methods: IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings (Lecture Notes in Computer Science, 683)
Milne, George J. Pierre, Laurence
Springer /1993-05-12 Paperback / 284 Pages
isbn-10: 354056778X / isbn-13: 9783540567783
