DBLP Record 'conf/icse/MannaW76'

BibTeX

@inproceedings{DBLP:conf/icse/MannaW76,
  author    = {Zohar Manna and
               Richard J. Waldinger},
  title     = {Is 'Sometime' Sometimes Better Than 'Always'? Intermittent
               Assertions in Proving Program Correctness},
  booktitle = {ICSE},
  year      = {1976},
  pages     = {32-39},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}