Y. Zhu

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Enterprise information security architecture a review of frameworks, methodology, and case studies

M. Oda and others (2009) · IEEE

Combining symbolic model checking with uninterpreted functions for out-of-order processor verification

S. Berezin and others (1998) · FMCAD ’98, LNCS 1522 · Springer