Bibliography on Proving the Correctness of Computer Programs - Addition No. 1

Simple item page
dc.contributor.authorLondon, Ralph L.en_US
dc.date.accessioned2012-03-15T16:19:31Z
dc.date.available2012-03-15T16:19:31Z
dc.date.created1970en_US
dc.date.issued1970en
dc.description.abstractThe 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.en_US
dc.format.mimetypeapplication/pdfen_US
dc.identifier.citationTR104en
dc.identifier.urihttp://digital.library.wisc.edu/1793/57656
dc.publisherUniversity of Wisconsin-Madison Department of Computer Sciencesen_US
dc.titleBibliography on Proving the Correctness of Computer Programs - Addition No. 1en_US
dc.typeTechnical Reporten_US

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR104.pdf
Size:
827.13 KB
Format:
Adobe Portable Document Format
Download

Collections

CS Technical Reports