ErnstNO82'

BibTeX

@article{DBLP:journals/acta/ErnstNO82,
  author    = {George W. Ernst and
               Jainendra K. Navlakha and
               William F. Ogden},
  title     = {Verification of Programs with Procedure-Type Parameter},
  journal   = {Acta Inf.},
  volume    = {18},
  year      = {1982},
  pages     = {149-169},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}