Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
The correctness of programs
Home
Publications
The correctness of programs
The correctness of programs
ZM
Zohar Manna
Zohar Manna
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 May 1969
journal article
Published by
Elsevier BV
in
Journal of Computer and System Sciences
Vol. 3
(2)
,
119-127
https://doi.org/10.1016/s0022-0000(69)80009-7
Abstract
No abstract available
Cited by 86 articles