Bookmark

On the proof of correctness of a calendar program

Lamport, Leslie
Communications of the ACM , Volume 22 (10) Association for Computing MachineryOct 1, 1979

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
Title
On the proof of correctness of a calendar program
Author(s)
Lamport, Leslie
Journal
Communications of the ACM , Volume 22 (10) Association for Computing Machinery – Oct 1, 1979
Publisher
Association for Computing Machinery
Copyright
Copyright © 1979 by ACM Inc.
ISSN
0001-0782
D.O.I.
10.1145/359156.359160
Publisher site
Get PDF