Bibliography on Proving the Correctness of Computer Programs - Addition No. 1
File(s)
Date
1970Author
London, Ralph L.
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Metadata
Show full item recordAbstract
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.
Permanent Link
http://digital.library.wisc.edu/1793/57656Citation
TR104