Zohar Manna
· 18 obras en el catálogo
Obras
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
Logcl Basis Cmpt Prog V1
STeP, the Stanford Temporal Prover
Time for Verification
Introduction to Mathematical Theory of Computation (Computer Science)
Fundamentals of deductive program synthesis
Lectures on the logic of 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 logical basis for computer programming
Software development technologies for reactive, real-time, and hybrid systems
Studies in automatic programming logic
The temporal logic of reactive and concurrent systems
Temporal verification of reactive systems
The deductive foundations of computer programming
