Program Verification

@article{Boyer1985ProgramV,
  title={Program Verification},
  author={Robert S. Boyer and J. Strother Moore},
  journal={J. Autom. Reasoning},
  year={1985},
  volume={1},
  pages={17-23}
}
Highly Cited
This paper has 17 citations. REVIEW CITATIONS