"Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September ... " - читать интересную книгу автора (Tiziana Margaria, Tom Melham)