DBLP Record 'journals/tse/GoodLB75'

BibTeX

@article{DBLP:journals/tse/GoodLB75,
  author    = {Donald I. Good and
               Ralph L. London and
               W. W. Bledsoe},
  title     = {An Interactive Program Verification System},
  journal   = {IEEE Trans. Software Eng.},
  volume    = {1},
  number    = {1},
  year      = {1975},
  pages     = {59-67},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}