A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods

@inproceedings{Mili-Desharnais:ICSE84,
  author    = {Ali Mili and
               Jules Desharnais},
  title     = {A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods},
  booktitle = {ICSE},
  pages     = {499--509},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}