ISBN 3540603859 books & textbook
Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings (Lecture Notes in Computer Science, 987)
Camurati, Paolo Enrico Eveking, Hans
Springer /1995-09-18 Paperback / 356 Pages
isbn-10: 3540603859 / isbn-13: 9783540603856
