Toggle navigation
Account
Search
Search
Browse
Communities & Collections
Issue Date
Authors
Titles
Subjects
Types
About
About eCommons
Policies
Terms of Use
Statistics
Contact Us
Help
Login
eCommons
Open scholarship at Cornell
View Item
Home
Cornell Computing and Information Science
Computer Science
Computer Science Technical Reports
View Item
Home
Cornell Computing and Information Science
Computer Science
Computer Science Technical Reports
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
A Logic For Correct Program Development
View/
Open
79-388.pdf (6.478Mb)
79-388.ps (2.667Mb)
PERMANENT LINK(S)
https://hdl.handle.net/1813/7503
Collections
Computer Science Technical Reports
Metadata
Show full item record
Author
Bates, Joseph Louis
Date Issued
1979-08
Publisher
Cornell University
Subject
computer science; technical report
Previously Published As
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR79-388
Type
technical report
Statistics
View Usage Statistics