9783540665595

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99, Bad Herrenalb, Germany, September … (Lecture Notes in Computer Science, 1703)