Paolo Enrico Camurati, Hans Eveking

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

9783540455165


Computer Science