Orna Grumberg
Books
- Tools and Algorithms for the Construction and Analysis of Systems
- Model Checking, Second Edition
- Languages From Formal to Natural Lecture Notes in Computer Science
- Languages : from Formal to Natural
- 25 Years Of Model Checking History Achievements Perspectives
- Computer Aided Verification
- 25 Years of Model Checking
- Model checking
Author data: Open Library