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