A Vindication of Program Verification

A Vindication of Program Verification