Alan J. Hu
Identifiers
- Open LibraryOL10226038A
Top Subjects
- Software engineering (1)
Books by Alan J. Hu
Total count: 2
-
Formal Methods in Computer-Aided Design5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, ProceedingsSpringer London, Limited2005-01-01
-
Hardware and Software : Verification and Testing4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected PapersSpringer London, Limited2009-01-01