Automatic generation of invariants in formal verification of microprocessors and memory systems

Responsibility
Husam Saad Abu-Haimed.
Imprint
2004.
Physical description
xv, 149 leaves, bound.

Browse related items

Start at call number:
Librarian view | Catkey: 5784345