Start Over
You searched for: author_facet Manna, Zohar

Search Results

Cover image for Time for verification

Time for verification

  • 2010
  • Format: Electronic
Location
Access Content Online
Cover image for Verification

Verification

  • 2003
  • Format: Electronic
Location
Access Content Online
Cover image for The Temporal Logic of Reactive and Concurrent Systems Specification

The Temporal Logic of Reactive and Concurrent Systems Specification

Location
Access Content Online
Cover image for A new approach to recursive programs

A new approach to recursive programs

Location Call # Status
Joyner - General Stacks QA76.6 .M3455X ✔ Available