An Assessment of Techniques for Proving Program Correctness
Elspas, Bernard, Levitt, Karl N., Waldinger, Richard J., Waksman, AbrahamVolume:
4
Language:
english
Journal:
ACM Computing Surveys
DOI:
10.1145/356599.356602
Date:
June, 1972
File:
PDF, 4.16 MB
english, 1972