Pragmatic Techniques for Program Analysis and Verification

@inproceedings{Ploedereder:ICSE79,
  author    = {Erhard Pl{\"{o}}dereder},
  title     = {Pragmatic Techniques for Program Analysis and Verification},
  booktitle = {ICSE},
  pages     = {63--72},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}