Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computer Science
  4. Computer Science Technical Reports
  5. A Logic For Correct Program Development

A Logic For Correct Program Development

File(s)
79-388.ps (2.67 MB)
79-388.pdf (6.48 MB)
Permanent Link(s)
https://hdl.handle.net/1813/7503
Collections
Computer Science Technical Reports
Author
Bates, Joseph Louis
Date Issued
1979-08
Publisher
Cornell University
Keywords
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

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance