Subscribe to thousands of academic journals for just $40/month
Read and share the articles you need for your research, all in one place.

On the proof of correctness of a calendar program

Communications of the ACM , Volume 22 (10) – Oct 1, 1979

Details

Publisher
Association for Computing Machinery
Copyright
Copyright © 1979 by ACM Inc.
ISSN
0001-0782
D.O.I.
10.1145/359156.359160
Publisher site
See Article on Publisher Site
Expand Tray Hide Tray

Loading next page...

End of preview. The entire article is 3 pages. Rent for Free

 
/lp/association-for-computing-machinery/on-the-proof-of-correctness-of-a-calendar-program-Xwf41qn0UN