Hardware and Software: Verification and Testing - 9783642192364

Hardware and Software: Verification and Testing - 9783319490519

Bertacco - Hardware and Software Verification and Testing 9th Inter - X555z

Bloem - Hardware and Software Verification and Testing 12th Interna - X555z

Yahav - Hardware and Software Verification and Testing 10th Interna - X555z

Strichman - Hardware and Software Verification and Testing 13th Int - X555z

Namjoshi - Automated Technology for Verification and Analysis 5th In - X555z

Leeser - Hardware Specification Verification and Synthesis Mathemati - X555z