Completely Validated Software

@inproceedings{Kemmerer:ICSE89,
  author    = {Richard A. Kemmerer},
  title     = {Completely Validated Software},
  booktitle = {ICSE},
  pages     = {359--360},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1989},
}