Search - List of Books by Orna Grumberg

Total Books: 2
Formal Logical Methods for System Security and Correctness
2008 - Formal Logical Methods for System Security and Correctness [Nato Science for Peace and Security] (Hardcover)
ISBN-13: 9781586038434
ISBN-10: 1586038435
  ?

Model Checking
1999 - Model Checking (Hardcover)
ISBN-13: 9780262032704
ISBN-10: 0262032708
Genres: Computers & Technology, Substores
  ?