Formal Program Verification

@inproceedings{Harton2008FormalPV,
  title={Formal Program Verification},
  author={Heather K. Harton and Murali Sitaraman and Joan Krone},
  booktitle={Wiley Encyclopedia of Computer Science and Engineering},
  year={2008}
}