"Hardware and Software: Verification and Testing, 4 conf., HVC 2008" - читать интересную книгу автора