Richard J. Waldinger, Karl N. Levitt. Reasoning About Programs. In POPL. pages 169-182, 1973.
@inproceedings{WaldingerL73,
title = {Reasoning About Programs},
author = {Richard J. Waldinger and Karl N. Levitt},
year = {1973},
researchr = {https://researchr.org/publication/WaldingerL73},
cites = {0},
citedby = {0},
pages = {169-182},
booktitle = {POPL},
}