Abu-Haimed, Husam Saad.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Automatic generation of invariants in formal verification of microprocessors and memory systems.
by:
Abu-Haimed, Husam Saad.; Stanford University.
(Electronic resources)