Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings
Camurati, Paolo E ; Eveking, Hans Eveking, Hans ; Camurati, Paolo E.
Berlin, Heidelberg: Springer Berlin Heidelberg 1995
Texto completo disponível