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.
Abstract is missing.