Old Web
English
Sign In
Acemap
>
Paper
>
MathematicsFinding the correctness proof of a concurrent program
MathematicsFinding the correctness proof of a concurrent program
1978
E.W. Dijkstra
Keywords:
correctness proofs
Programming language
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]