TY - BOOK AU - Karen Yorav TI - Hardware and Software.. Verification and Testing, 3 conf., HVC 2007 KW - Computer science, information & general works UR - https://new.zodml.org/sites/default/files/2023-08/epdf.pub_hardware-and-software-verification-and-testing-3-c.pdf ER -