Search alternatives:
sciences%22 » science%22
Cover Image
Read Now

1
by Graham, Brian T.
Published 1992
Springer US
Table of Contents: “...1 Formal Methods and Verification -- 1.1 Achievements in Hardware Verification -- 1.2 The HOL...”