Bibliography on Proving the Correctness of Computer Programs - Addition No. 1
London, Ralph L.
University of Wisconsin-Madison Department of Computer Sciences
MetadataShow full item record
The continued research activity in proving the correctness of computer programs and the widespread interest in my previous program proving bibliography (London 1970a) encourage me to compile these additional updating citations. The selection criteria remain essentially unchanged; only the form of the citation is trivially changed. As before, I would he most interested in learning of corrections and additional citations to update matters.