Robert S. Boyer, J. Strother Moore. Program Verification. Journal of Automated Reasoning, 1(1):17-23, 1985.
@article{BoyerM85,
title = {Program Verification},
author = {Robert S. Boyer and J. Strother Moore},
year = {1985},
tags = {program verification},
researchr = {https://researchr.org/publication/BoyerM85},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {1},
number = {1},
pages = {17-23},
}