Husam S. Abu-Haimed, Ph.D.
Affiliations: | 2004 | Stanford University, Palo Alto, CA |
Google:
"Husam Abu-Haimed"Parents
Sign in to add mentor| David L. Dill | grad student | 2004 | Stanford | |
| (Automatic generation of invariants in formal verification of microprocessors and memory systems.) | ||||