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)