Hardware and Software: Verification and Testing - 9783642195822

Bin - Hardware and Software Verification and Testing Second Interna - X555z

Cha - Automated Technology for Verification and Analysis 6th Interna - X555z

Bernardo - Formal Methods for Hardware Verification 6th Internationa - X555z

Ur - Hardware and Software Verification and Testing First Internati - X555z

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

Yorav - Hardware and Software Verification and Testing - New paperbac - X555z

Dill - Computer Aided Verification 6th International Conference CAV - X555z