An Approach to Systems Verification (1989)
by
William Bevier
,
Warren A. Hunt Jr.
,
J Strother Moore
,
William D. Young
| Venue: | JOURNAL OF AUTOMATED REASONING |
| Citations: | 64 - 6 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 |
