Correct Hardware Design and Verification Methods - Enrico Tronci - E-bok | Bokus