DBLP Record 'conf/ijcai/VeroffH81'

BibTeX

@inproceedings{DBLP:conf/ijcai/VeroffH81,
  author    = {Robert Veroff and
               Lawrence J. Henschen},
  title     = {Application of Automatic Transformations to Program Verification},
  booktitle = {IJCAI},
  year      = {1981},
  pages     = {472-479},
  crossref  = {DBLP:conf/ijcai/1981},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ijcai/1981,
  editor    = {Patrick J. Hayes},
  title     = {Proceedings of the 7th International Joint Conference on
               Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada,
               August 1981},
  booktitle = {IJCIA},
  publisher = {William Kaufmann},
  year      = {1981},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}