![](/img/cover-not-exists.png)
A Mechanical Analysis of Program Verification Strategies
Sandip Ray, Warren A. Hunt, John Matthews, J. Strother MooreVolume:
40
Language:
english
Pages:
25
DOI:
10.1007/s10817-008-9098-1
Date:
May, 2008
File:
PDF, 681 KB
english, 2008