Program Result Checking: A New Approach to Making Programs More Reliable

@inproceedings{Blum1993ProgramRC,
  title={Program Result Checking: A New Approach to Making Programs More Reliable},
  author={Manuel Blum},
  booktitle={ICALP},
  year={1993}
}
20 Extracted Citations
0 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Similar Papers

Loading similar papers…