James C. King. Prospects for Program Verification (Tutorial). In ICSE. pages 71, 1978.
@inproceedings{King78, title = {Prospects for Program Verification (Tutorial)}, author = {James C. King}, year = {1978}, tags = {program verification, C++}, researchr = {https://researchr.org/publication/King78}, cites = {0}, citedby = {0}, pages = {71}, booktitle = {ICSE}, }