Search alternatives:
applied science » applied sciences
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...”