Application of Axiomatic Methods to a Specification Analyser

@inproceedings{Gerhart:ICSE84,
  author    = {Susan L. Gerhart},
  title     = {Application of Axiomatic Methods to a Specification Analyser},
  booktitle = {ICSE},
  pages     = {441--453},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}