An Approach to Systems Verification (1989)

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