"Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, ... " - читать интересную книгу автора (Daniel Geist, Enrico Tronci)