Applications of symbolic simulation to the formal verification of microprocessors

Responsibility
Robert Brent Jones.
Imprint
1999.
Physical description
xx, 200 p., bound.
Librarian view | Catkey: 4318248