Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt

Author

Paolo E. Camurati, Hans Eveking

Publisher

Springer

Subject

Computer Science

Year

1995

Vol/Edition

987

ISBN

9783540455165