Journal of Automated Reasoning, volume 40(4), May 2008, pages 245-269. Springer.

© 2008 Springer. The original publication is available at www.springerlink.com.

- Paper (ps, pdf, Online Version from Springer)
- Supporting ACL2 proof
scripts: See the directory
`books/proofstyles/`

in the current ACL2 distribution.

@Article{ray-mechanical, author = "S. Ray and Hunt, Jr., W. A. and J. Matthews and J S. Moore", title = "{A Mechanical Analysis of Program Verification Strategies}", journal = "{Journal of Automated Reasoning}", volume = "40", number = "4", pages = "245-269", publisher = "{Springer}", month = may, year = "2008" }