1.
Hardware and Software: Verification and Testing: 4th International Haifa Verification Confer...
by Chockler, Hana, Hu, Alan J.
ISBN: 9783642017018
List Price: $64.95
2.
Formal Methods In Computer-aided Design 5th International Conference, Fmcad 2004, Austin, Te...
by Hu, Alan J., Andrew K. Mart...
ISBN: 9783540237389
List Price: $84.00
3.
Formal Methods in Computer-Aided Design
by Hu, Alan J., Martin, Andrew K.
ISBN: 9783662207017
List Price: $24.99