A Mechanical Analysis of Program Verification Strategies (2008)

by S Ray, W A Hunt, J Matthews, J S Moore
Venue:Journal of Automated Reasoning