DMCA

A mechanical analysis of program verification strategies (2008)

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