Finding the correctness proof of a concurrent program

E.W. Dijkstra

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

6 Citations (Scopus)
Original languageEnglish
Title of host publicationProgram Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978)
EditorsF.L. Bauer, M. Broy, E.W. Dijkstra
Place of PublicationBerlin
PublisherSpringer
Chapter3
Pages24-34
Number of pages11
ISBN (Electronic)978-3-540-35312-6
ISBN (Print)3-540-09251-X, 978-3-540-09251-3
DOIs
Publication statusPublished - 1979

Publication series

NameLecture Notes in Computer Science
Volume69
ISSN (Print)0302-9743

Cite this

Dijkstra, E. W. (1979). Finding the correctness proof of a concurrent program. In F. L. Bauer, M. Broy, & E. W. Dijkstra (Eds.), Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978) (pp. 24-34). (Lecture Notes in Computer Science; Vol. 69). Springer. https://doi.org/10.1007/BFb0014652