A mechanical analysis of program verification strategies (2008)

by Sandip Ray
Venue:Journal of Automated Reasoning
Citations:2 - 1 self