Program Verification and Security

@inproceedings{Meadows2011ProgramVA,
  title={Program Verification and Security},
  author={Catherine A. Meadows},
  booktitle={Encyclopedia of Cryptography and Security},
  year={2011}
}