Current trends in hardware verification and automated theorem proving /

Bibliographic Details
Other Authors:	Birtwistle, G. M. (Graham M.), Subrahmanyam, P. A.
Format:	Book
Language:	English
Published:	New York : Springer-Verlag, [1989]
Subjects:	Integrated circuits > Very large scale integration > Design and construction. Automatic theorem proving.

Remote Storage