Z. Manna

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Temporal verification of simulation and refinement

Y. Kesten and others (1994) · Springer Berlin Heidelberg

The temporal logic of branching time

M. Ben-Ari and others (1981) · ACM Press

Verification of concurrent programs: Temporal proof principles

Z. Manna and others (1981) · Springer-Verlag

Verification of concurrent programs: the temporal framework

Z. Manna and others (1981) · The Correctness Problem in Computer Science

Axiomatic approach to total correctness of programs

Z. Manna and others (1974) · Acta Inf. 3 (1974)