Donald I. Good, Ralph L. London, W. W. Bledsoe. An Interactive Program Verification System. IEEE Trans. Software Eng., 1(1):59-67, 1975.
@article{GoodLB75,
title = {An Interactive Program Verification System},
author = {Donald I. Good and Ralph L. London and W. W. Bledsoe},
year = {1975},
tags = {program verification},
researchr = {https://researchr.org/publication/GoodLB75},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {1},
number = {1},
pages = {59-67},
}