Dan Craigen. Strengths and Weaknesses of Program Verification Systems. In Howard K. Nichols, Dan Simpson, editors, ESEC 87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings. Volume 289 of Lecture Notes in Computer Science, pages 396-404, Springer, 1987.
@inproceedings{Craigen87,
title = {Strengths and Weaknesses of Program Verification Systems},
author = {Dan Craigen},
year = {1987},
tags = {program verification},
researchr = {https://researchr.org/publication/Craigen87},
cites = {0},
citedby = {0},
pages = {396-404},
booktitle = {ESEC 87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings},
editor = {Howard K. Nichols and Dan Simpson},
volume = {289},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-18712-X},
}