Publications

2 results for Zohar Manna

Logical Analysis of Programs
- - Shmuel Katz
  - Zohar Manna
- 1976
- CACM
On the power of programming features
- - A.K Chandra
  - Z Manna
- 1975
- Computer Languages

Logical Analysis of Programs