The Verification Challenge: Problems and Promise of Strategi... By Metz, William D. Paperback Price $24.33 Free Shipping