Zohar Manna
16 works on record
Works
The Calculus of Computation: Decision Procedures with Applications to Verification
The Temporal Logic of Reactive and Concurrent Systems
Temporal Verification of Reactive Systems
The Calculus of Computation
Mathematical theory of computation
Lectures on the logic of computer programming
Studies in automatic programming logic
The logical basis for computer programming
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)
The deductive foundations of computer programming
Logcl Basis Cmpt Prog V1
STeP, the Stanford Temporal Prover
Time for Verification
Introduction to Mathematical Theory of Computation (Computer Science)
Software development technologies for reactive, real-time, and hybrid systems
Fundamentals of deductive program synthesis