The correctness of programs
- 作者Zohar Manna
- 卷第3卷
- 期第2期
- 印刷ISSN0022-0000
- 电子ISSN1090-2724
- 文件大小301.16KB
- 发表时间1969
- DOI10.1016/s0022-0000(69)80009-7
- 页码119-127
同作者推荐
Predecessor machinesPatrick C. Fischer; John C. Warkentin · 1974
Multilevel nested relational structuresDirk Van Gucht; Patrick C. Fischer · 1988
Succinctness in dependency systemsPatrick C. Fischer; J.H. Jou; D.-M. Tsou · 1983
Time-restricted sequence generationPatrick C. Fischer; Albert R. Meyer; Arnold L. Rosenberg · 1970
Turing machines with restricted memory accessPatrick C. Fischer · 1966
On Formalisms for Turing MachinesFischer, Patrick C. · Journal of the ACM · 1965
Theory of provable recursive functionsFischer, Patrick C. · Transactions of the American Mathematical Society · 1965
Computer Literature Bibliography 1946-1963Fischer, Patrick C. · Technometrics · 1967