George J. Milne, Laurence Pierre

Correct Hardware Design and Verification Methods - 1993 - Springer Berlin Heidelberg 1993 - Lecture Notes in Computer Science .

9783540706557


Computer Science