Correct Hardware Design and Verification Methods: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles

Author

George J. Milne, Laurence Pierre

Publisher

Springer

Subject

Computer Science

Year

1993

Vol/Edition

683

ISBN

9783540706557