Accurate Theorem Proving for Program Verification (Proceedings of ISoLA 2004, 2006)

(untitled) - Cook, B; Kroening, D; Sharygina, N