A mechanical analysis of program verification strategies (2008)

by Sandip Ray, Warren A Hunt Jr, John Matthews, J Strother Moore
Venue:Journal of Automated Reasoning