An Introduction to Proofs of Program Correctness for Teachers of College-Level Introductory Programming Courses
Collections
Author
Gries, David
Wadkins, Jeff
Abstract
No abstract is available.
Date Issued
1990-03
Publisher
Cornell University
Keywords
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR90-1102
Type
technical report