An Approach to Systems Verification (1989)

Cached

Download Links

by William Bevier , Warren A. Hunt Jr. , J Strother Moore , William D. Young
Venue:JOURNAL OF AUTOMATED REASONING
Citations:68 - 7 self

Document Versions

An Approach to Systems Verification –William Bevier , Warren A. Hunt Jr., J Strother Moore, William D. Young — 1989 — JOURNAL OF AUTOMATED REASONING